2026-07-26T21:31:39Z https://drops.dagstuhl.de/oai

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

LIPIcs, Volume 10, RTA'11, Complete Volume Schmidt-Schauß, Manfred 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 10, RTA'11, Complete Volume Schloss Dagstuhl – Leibniz-Zentrum für Informatik Manfred Schmidt-Schauß 2013 Is Part Of LIPIcs, Volume 10, 22nd International Conference on Rewriting Techniques and Applications (RTA'11) (2011) Proceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.RTA.2011 urn:nbn:de:0030-drops-41045 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2011 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode