Equality, Types, Modules and Generics for Logic Programming.

Proceedings of the Second International Conference on Algebraic and Logic Programming,1990, 引用: 4

,2004, 引用: 4

international joint conference on artificial intelligence,1985, 引用: 56

formal methods,1985, 引用: 21

Rewriting Techniques and Applications,1985, 引用: 77

Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada,1993, 引用: 7

Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems,1990, 引用: 20

TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages,1989, 引用: 4

Rewriting Techniques and Applications,1989, 引用: 5

international colloquium on automata languages and programming,1988, 引用: 7