Equational logic as a programming language
Equational logic as a programming language
Epsilon-reduction: another view of unification
Proc. of the IFIP TC 10 working conference on Fifth generation computer architectures
Programming in Prolog
Functional programing and the logical variable
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equational logic programming: an extension to equational programming
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Incremental Construction of Unification Algorithms in Equational Theories
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Canonical Forms and Unification
Proceedings of the 5th Conference on Automated Deduction
TABLOG: The deductive-tableau programming language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
The semantic elegance of applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
IEEE Transactions on Software Engineering
EQL: The Language and its Implementation
IEEE Transactions on Software Engineering
Set abstraction in functional and logic programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
| Hi-index | 0.00 |