Explicit versus implicit representations of subsets of the Herbrand universe
Theoretical Computer Science
On the complexity of equational problems in CNF
Journal of Symbolic Computation - Special issue: First order theorem proving
Equational constraint solving via a restricted form of universal quantification
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Tree Automata and Automated Model Building
Fundamenta Informaticae
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
Hi-index | 0.00 |