2026-08-16T20:18:55Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5262 2024-03-06T10:36:01Z ddc:004 open_access

LIPIcs, Volume 36, RTA'15, Complete Volume Fernández, Maribel 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 35, RTA'15, Complete Volume Schloss Dagstuhl – Leibniz-Zentrum für Informatik Maribel Fernández 2015 Is Part Of LIPIcs, Volume 36, 26th International Conference on Rewriting Techniques and Applications (RTA 2015) Proceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.RTA.2015 urn:nbn:de:0030-drops-52620 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2015 eng https://creativecommons.org/licenses/by/3.0/legalcode