Your search returned 7 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.). by Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 4600. | Lecture notes in computer science. Festschrift.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.). by Series: Lecture notes in computer science ; 4060. | Lecture notes in computer science. Festschrift.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds. by Series: Lecture notes in computer science ; 308.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1988
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud. by Series: Lecture notes in computer science ; 202.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1985
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Functional programming languages and computer architecture : Nancy, France, September 1985 / edited by Jean-Pierre Jouannaud. by Series: Lecture notes in computer science ; 201.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1985
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
7.
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.). by Series: Lecture notes in computer science ; 7086. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha