An Improved Method for Adding Equality to Free Variable Semantic Tableaux

Authors:
Bernhard Beckert;Reiner Hähnle
Affiliations:
-;-
Venue:
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Year:
1992

Citing 0
Cited 5

What You Always Wanted to Know about Rigid E-Unification

Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation

Journal of Automated Reasoning
Connections in nonclassical logics

Handbook of automated reasoning
Model elimination and connection tableau procedures

Handbook of automated reasoning
Simultaneous Rigid E-Unification and Related Algorithmic Problems

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract