Unification in many-sorted theories

,1992, 引用: 3

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

international joint conference on artificial intelligence,1987, 引用: 19

national conference on artificial intelligence,1984, 引用: 17

GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung,1986, 引用: 9

conference on automated deduction,1986, 引用: 9

Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985,1985, 引用: 6

,1994, 引用: 26

TAPSOFT '87 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 Functional and Logic Programming and Specifications (CFLP),1987, 引用: 107

conference on automated deduction,1996, 引用: 1