Published in: LIPIcs, Volume 299, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
Salvador Lucas. Termination of Generalized Term Rewriting Systems. In 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 299, pp. 32:1-32:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{lucas:LIPIcs.FSCD.2024.32, author = {Lucas, Salvador}, title = {{Termination of Generalized Term Rewriting Systems}}, booktitle = {9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)}, pages = {32:1--32:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-323-2}, ISSN = {1868-8969}, year = {2024}, volume = {299}, editor = {Rehof, Jakob}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.32}, URN = {urn:nbn:de:0030-drops-203616}, doi = {10.4230/LIPIcs.FSCD.2024.32}, annote = {Keywords: Program Analysis, Reduction-Based Systems, Termination} }
Published in: LIPIcs, Volume 15, 23rd International Conference on Rewriting Techniques and Applications (RTA'12) (2012)
Karl Gmeiner, Bernhard Gramlich, and Felix Schernhammer. On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. In 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 15, pp. 193-208, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{gmeiner_et_al:LIPIcs.RTA.2012.193, author = {Gmeiner, Karl and Gramlich, Bernhard and Schernhammer, Felix}, title = {{On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems}}, booktitle = {23rd International Conference on Rewriting Techniques and Applications (RTA'12)}, pages = {193--208}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-38-5}, ISSN = {1868-8969}, year = {2012}, volume = {15}, editor = {Tiwari, Ashish}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2012.193}, URN = {urn:nbn:de:0030-drops-34936}, doi = {10.4230/LIPIcs.RTA.2012.193}, annote = {Keywords: Conditional term rewriting system (CTRS), deterministic CTRS, transformation, simulation, soundness} }
Published in: LIPIcs, Volume 6, Proceedings of the 21st International Conference on Rewriting Techniques and Applications (2010)
Karl Gmeiner, Bernhard Gramlich, and Felix Schernhammer. On (Un)Soundness of Unravelings. In Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Leibniz International Proceedings in Informatics (LIPIcs), Volume 6, pp. 119-134, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{gmeiner_et_al:LIPIcs.RTA.2010.119, author = {Gmeiner, Karl and Gramlich, Bernhard and Schernhammer, Felix}, title = {{On (Un)Soundness of Unravelings}}, booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications}, pages = {119--134}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-18-7}, ISSN = {1868-8969}, year = {2010}, volume = {6}, editor = {Lynch, Christopher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.119}, URN = {urn:nbn:de:0030-drops-26485}, doi = {10.4230/LIPIcs.RTA.2010.119}, annote = {Keywords: Conditional rewriting, transformation into unconditional systems, unsoundness, unraveling} }