License
when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.RTA.2010.161
URN: urn:nbn:de:0030-drops-26510
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2651/

Kahrs, Stefan

Infinitary Rewriting: Foundations Revisited

pdf-format:
Dokument 1.pdf (166 KB)


Abstract

Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary relations in particular two concepts have been studied in the past: strongly and weakly convergent reductions, and in the last decade research has mostly focused around the former. Finitary rewriting has a strong connection to the equational theory of its rule set: if the rewrite system is confluent this (implies consistency of the theory and) gives rise to a semi-decision procedure for the theory, and if the rewrite system is in addition terminating this becomes a decision procedure. This connection is the original reason for the study of these properties in rewriting. For infinitary rewriting there is barely an established notion of an equational theory. The reason this issue is not trivial is that such a theory would need to include some form of ``getting to limits'', and there are different options one can pursue. These options are being looked at here, as well as several alternatives for the notion of reduction relation and their relationships to these equational theories.

BibTeX - Entry

@InProceedings{kahrs:LIPIcs:2010:2651,
  author =	{Stefan Kahrs},
  title =	{{Infinitary Rewriting: Foundations Revisited}},
  booktitle =	{Proceedings of the 21st International Conference on Rewriting Techniques and Applications},
  pages =	{161--176},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-18-7},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{6},
  editor =	{Christopher Lynch},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2651},
  URN =		{urn:nbn:de:0030-drops-26510},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.RTA.2010.161},
  annote =	{Keywords: Infinitary rewriting,equivalence}
}

Keywords: Infinitary rewriting,equivalence
Seminar: Proceedings of the 21st International Conference on Rewriting Techniques and Applications
Issue date: 2010
Date of publication: 06.07.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI