Sciweavers

CADE
1992
Springer

An Improved Method for Adding Equality to Free Variable Semantic Tableaux

14 years 4 months ago
An Improved Method for Adding Equality to Free Variable Semantic Tableaux
Tableau
Bernhard Beckert, Reiner Hähnle
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1992
Where CADE
Authors Bernhard Beckert, Reiner Hähnle
Comments (0)