2026-08-17T00:40:57Z https://drops.dagstuhl.de/oai

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

LIPIcs, Volume 21, RTA'13, Complete Volume van Raamsdonk, Femke 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 21, RTA'13, Complete Volume Schloss Dagstuhl – Leibniz-Zentrum für Informatik Femke van Raamsdonk 2013 Is Part Of LIPIcs, Volume 21, 24th International Conference on Rewriting Techniques and Applications (RTA 2013) Proceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.RTA.2013 urn:nbn:de:0030-drops-41152 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2013 eng https://creativecommons.org/licenses/by/3.0/legalcode