Rewriting systems (Computer science)

Rewriting techniques and applications10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings / by: (書目-電子資源)

Applications of graph transformations with industrial relevanceInternational Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings / by: (書目-電子資源)

Rewriting techniques and applications11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / by: (書目-電子資源)

Rewriting techniques and applications12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / by: (書目-電子資源)

Rewriting techniques and applications13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / by: (書目-電子資源)

Substitutions in dynamics, arithmetics, and combinatorics by: (書目-電子資源)

Graph transformations and model-driven engineeringessays dedicated to manfred nagl on the occasion of his 65th Birthday / by: (書目-電子資源)

Applications of graph transformations with industrial relevance4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers / by: (書目-電子資源)

Rewriting and Typed Lambda Calculijoint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)