Recursive programs as definitions in first order logic
SIAM Journal on Computing
Journal of Symbolic Computation
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
Compiling with continuations
Logic programs with external procedures
Logic programming languages
Benchmarking implementations of lazy functional languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Functional Programming and Parallel Graph Rewriting
Functional Programming and Parallel Graph Rewriting
Towards a Clean Amalgamation of Logic Programs with External Procedures
PLILP '88 Proceedings of the 1st International Workshop on Programming Language Implementation and Logic Programming
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Enriching Prolog with S-Unification
Seminar and Workshop on Declarative Programming
Logic Programs as term Rewriting Systems
ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
A Transformational Methodology for Proving Termination of Logic Programs
CSL '91 Proceedings of the 5th Workshop on Computer Science Logic
SICStus Prolog User''s Manual
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Hi-index | 0.00 |