Completeness of extended unification based on basic narrowing

Logic Programming '88 - Lecture Notes in Computer Science ◽

10.1007/3-540-51564-x_51 ◽

1989 ◽

pp. 1-10 ◽

Cited By ~ 3

Author(s):

Akihiro Yamamoto

Download Full-text