Your search returned 6 results.

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

by Stephane Kaplan, Jean-Pierre Jouannaud.

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

2.
Constraints in Computational Logics

by Jean-Pierre Jouannaud.

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

3.
Functional Programming Languages and Computer Architecture

by Jean-Pierre Jouannaud.

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

4.
Rewriting Techniques and Applications

by Jean-Pierre Jouannaud.

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

5.
TAPSOFT '93: Theory and Practice of Software Development

by Marie-Claude Gaudel, Jean-Pierre Jouannaud.

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

6.
Term Rewriting

by Hubert Comon, Jean-Pierre Jouannaud.

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): .