Journal of the ACM (JACM)
Functional and constraint logic programming
Constraints in computational logics
Improving Computations in a Typed Functional Logic Language
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Dynamic-Cut with Definitional Trees
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
An implementation of narrowing strategies
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Reporting Failures in Functional Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-paradigm declarative languages
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Hi-index | 0.00 |