2026-07-26T12:16:27Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4109 2024-03-06T10:34:15Z ddc:004 open_access

LIPIcs, Volume 15, RTA'12, Complete Volume Tiwari, Ashish 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 15, RTA'12, Complete Volume Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ashish Tiwari 2013 Is Part Of LIPIcs, Volume 15, 23rd International Conference on Rewriting Techniques and Applications (RTA'12) (2012) Proceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.RTA.2012 urn:nbn:de:0030-drops-41090 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2012 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode