Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.). by Comon, Hubert Marché, Claude Treinen, Ralf ESPRIT CCL Working Group CCL'99 (1999 : Gif-sur-Yvette, France) Series: Lecture notes in computer science ; 2002. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Rewriting techniques and applications : 20th international conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 : proceedings / Ralf Treinen (ed.). by International Conference on Rewriting Techniques and Applications (20th : 2009 : Brasília, Distrito Federal, Brazil) Treinen, Ralf Series: Lecture notes in computer science ; 5595. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: Best.-Nr. 12696505 Publication details: Berlin ; New York : Springer, ©2009 Other title: RTA 2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search