Higher order algebra logic, adn term rewriting : proceedings - Heering Jan; International Workshop on Higher Order Algebra Logic, adn Term Rewriting( 1st : 1993 : Amsterdam ); International Workshop on Higher Order Algebra Logic, adn Term Rewriting 1st Amsterdam, 1993 (Berlin Springer Verlag, 1994)
Keywords: Algebra; Logic programming; Term rewriting