Narrowing in Partial Conditional Equational Theories (Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Uwe Wolter. Narrowing in Partial Conditional Equational Theories (Abstract). In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, International Workshop on Algebraic and Logic Programming. Volume 343 of Lecture Notes in Computer Science, pages 244, Springer, Gaussig, GDR, 1988.

This author has not been identified. Look up 'Uwe Wolter' in Google

runs on WebDSL