Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Conditional and Typed Rewriting Systems

by Nachum Dershowitz, Naomi Lindenstrauss.

Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Rewriting Techniques and Applications

by Nachum Dershowitz.

Series: Lecture Notes in Computer ScienceEdition: 1989Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .