Theorem-Proving on the Computer
Journal of the ACM (JACM)
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
Journal of the ACM (JACM)
Oriented Equational Clauses as a Programming Language
Proceedings of the 11th Colloquium on Automata, Languages and Programming
TABLOG: The deductive-tableau programming language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Hi-index | 0.00 |