Higher-Order Narrowing with Convergent Systems (1995)

by Christian Prehofer
Venue:In 4th Int. Conf. Algebraic Methodology and Software Technology, AMAST '95. Springer LNCS 936
Citations:7 - 7 self