Rewriting for preorder relations

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_13 ◽

1995 ◽

pp. 223-234 ◽

Author(s):

Paola Inverardi

Download Full-text