Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9--11, 2003. Proceedings
From MaRDI portal
Publication:1418343
DOI10.1007/3-540-44881-0zbMath1029.00060OpenAlexW4206525450MaRDI QIDQ1418343
No author found.
Publication date: 20 January 2004
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2706.htm
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42)
Related Items (3)
Twenty years of rewriting logic ⋮ Variadic equational matching in associative and commutative theories ⋮ An Undo Framework for P2P Collaborative Editing
Uses Software
This page was built for publication: Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9--11, 2003. Proceedings
