Rewriting systems (Computer science)
Overview
| Works: | 19 works in 2 publications in 2 languages | |
|---|---|---|
Titles
Term Rewriting and Applications (vol. # 4098)17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
by:
(Electronic resources)
Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(Electronic resources)
Term Rewriting and Applications16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
(Electronic resources)
Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
(Electronic resources)
Rewriting techniques and applications14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings /
by:
(Electronic resources)
Applications of graph transformations with industrial relevancesecond international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers /
by:
(Electronic resources)
Rewriting techniques and applications15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings /
by:
(Electronic resources)
Rewriting techniques and applications20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings /
by:
(Electronic resources)
Rewriting techniques and applications8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings /
by:
(Electronic resources)
Rewriting techniques and applications9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings /
by:
(Electronic resources)
Rewriting techniques and applications10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings /
by:
(Electronic resources)
Applications of graph transformations with industrial relevanceInternational Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings /
by:
(Electronic resources)
Rewriting techniques and applications11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings /
by:
(Electronic resources)
Rewriting techniques and applications12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings /
by:
(Electronic resources)
Rewriting techniques and applications13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
by:
(Electronic resources)
Graph transformations and model-driven engineeringessays dedicated to manfred nagl on the occasion of his 65th Birthday /
by:
(Electronic resources)
Show more
Fewer
Subjects