Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-9 of 9)
Rewriting systems (Computer science) -- Congresses.
2
E-book
2014

Rewriting and typed Lambda Calculi : joint international conference, RTA-TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings


International Conference on Rewriting Techniques and Applications (25th : 2014 : Vienna, Austria)
Cham : Springer, 2014

Rating:

 
 
4
E-book
2008

Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings


International Conference on Rewriting Techniques and Applications (19th : 2008 : Hagenberg im Mü̈hlkreis, Austria)
Berlin ; New York : Springer, [2008]

Rating:

 
 
5
E-book
2009

Rewriting techniques and applications : 20th international conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 : proceedings


International Conference on Rewriting Techniques and Applications (20th : 2009 : Brasília, Distrito Federal, Brazil)
Berlin ; New York : Springer, [2009]

Rating:

 
 
6
E-book
2007

Term rewriting and application : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings


International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France)
Berlin ; New York : Springer, [2007]

Rating:

 
 
7
E-book
2005

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings


International Conference on Rewriting Techniques and Applications (16th : 2005 : Nara-ken, Japan)
Berlin ; New York : Springer, [2005]

Rating:

 
 
8
Book
2006

Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings


International Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash.)
Berlin : Springer, [2006]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.131 Ico/Rta 2006  AVAILABLE
9
E-book
2006

Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings


International Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash.)
Berlin : Springer, [2006]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results