Lazy narrowing in a graph machine

Berlin [u.a.] / Springer (1990) [Contribution to a conference proceedings]

Algebraic and logic programming : Second International Conference, Nancy, France, October 1 - 3, 1990 ; proceedings / H. Kirchner ... (eds.)
Page(s): 298-317

Authors

Authors

Moreno-Navarro, Juan José
Kuchen, Herbert
Loogen, Rita

Identifier