2026-07-19T22:10:03Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4100 2024-03-06T10:33:27Z ddc:004 open_access

LIPIcs, Volume 6, RTA'10, Complete Volume Lynch, Christopher Programming Techniques, Software Engineering, Programming Languages, Computation by Abstract Devices, Analysis of Algorithms and Problem Complexity Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Artificial Intelligence. LIPIcs, Volume 6, RTA'10, Complete Volume Schloss Dagstuhl – Leibniz-Zentrum für Informatik Christopher Lynch 2013 Is Part Of LIPIcs, Volume 6, Proceedings of the 21st International Conference on Rewriting Techniques and Applications (2010) Proceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.RTA.2010 urn:nbn:de:0030-drops-41003 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode