Your search returned 3 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): .

Add to cart
2.
The Evolution of Programs

by DERSHOWITZ.

Series: Progress in Computer Science and Applied LogicEdition: 1983Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Boston 1983Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
3.
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): .

Add to cart