POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
Functional and constraint logic programming
Constraints in computational logics
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Lazy narrowing with simplification
Computer Languages
Hi-index | 0.00 |