Author:
Kubo Kengo,Yamada Keizo,Hirata Kouichi,Harao Masateru
Subject
Computational Theory and Mathematics,Hardware and Architecture,Information Systems,Theoretical Computer Science
Reference14 articles.
1. The complexity of unification. Doctoral thesis, Department of Computer Science, University of Waterloo, 1977.
2. Logic program synthesis from incomplete information. Kluwer Academic Publishers; 1995.