2 search results - page 1 / 1 » An Improved Method for Adding Equality to Free Variable Sema... |
112
Voted
CADE
1992
Springer
15 years 6 months ago
1992
Springer
Tableau
145
Voted
TABLEAUX
1997
Springer
15 years 7 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...