Church-Rosser Properties of Normal Rewriting

Authors Jean-Pierre Jouannaud, Jianqi Li



PDF
Thumbnail PDF

File

LIPIcs.CSL.2012.350.pdf
  • Filesize: 434 kB
  • 16 pages

Document Identifiers

Author Details

Jean-Pierre Jouannaud
Jianqi Li

Cite AsGet BibTex

Jean-Pierre Jouannaud and Jianqi Li. Church-Rosser Properties of Normal Rewriting. In Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 16, pp. 350-365, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/LIPIcs.CSL.2012.350

Abstract

We prove a general purpose abstract Church-Rosser result that captures most existing such results that rely on termination of computations. This is achieved by studying abstract normal rewriting in a way that allows to incorporate positions at the abstract level. New concrete Church-Rosser results are obtained, in particular for higher-order rewriting at higher types.
Keywords
  • abstract normal rewriting
  • Church-Rosser property

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail