Conditional term rewriting systems : proceedings - Rusinowitch M; International Workshop on Conditional Term Rewriting Systems( 3rd : 1992 : France ); International Workshop on Conditional Term Rewriting Systems 3rd , France 1992 (Berlin Springer Verlag, 1993)
Keywords: Computer programming; Term rewriting systems