Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings / Jürgen Giesl (ed.). by Series: Lecture notes in computer science ; 3467.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • RTA 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
2.
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp [and others] (eds.). by Series: Lecture notes in computer science ; 3838. | 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, ©2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
3.
Rewriting techniques and applications : 20th international conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 : proceedings / Ralf Treinen (ed.). by Series: Lecture notes in computer science ; 5595. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • Best.-Nr. 12696505
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • RTA 2009
Online resources:
Availability: Items available for loan: e-Library (1).
4.
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne. by Series: Lecture notes in computer science ; 256.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1987
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha