Church-rosser property and unique normal form property of non-dupllcating term rewriting systems

Yoshihito Toyama, Michio Oyamaguchi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Citations (Scopus)

Abstract

We propose a new type of conditional term rewriting systems: left-right separated conditional term rewriting systems, in which the left-hand side and the right-haald side of a rewrite rule have separate variables. By developing a concept of weight decreasing joinability we first present a sufficient condition for the Church-Rosser property of left-right separated conditional term rewriting systems which may have overlapping rewrite rules. We next apply this result to show sufficient conditions for the unique normal form property and the Church-Rosser property of unconditional term rewriting systems which are non-duplicating, nonleft- llnear, and overlapping.

Original languageEnglish
Title of host publicationConditional and Typed Rewriting Systems - 4th International Workshop, CTRS 1994, Proceedings
EditorsNachum Dershowitz, Naomi Lindenstrauss
PublisherSpringer-Verlag
Pages316-331
Number of pages16
ISBN (Print)3540603816, 9783540603818
DOIs
Publication statusPublished - 1995 Jan 1
Event4th International Workshop on Conditional and Typed Rewriting Systems, CTRS 1994 - Jerusalem, Israel
Duration: 1994 Jul 131994 Jul 15

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume968
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Workshop on Conditional and Typed Rewriting Systems, CTRS 1994
CountryIsrael
CityJerusalem
Period94/7/1394/7/15

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Church-rosser property and unique normal form property of non-dupllcating term rewriting systems'. Together they form a unique fingerprint.

  • Cite this

    Toyama, Y., & Oyamaguchi, M. (1995). Church-rosser property and unique normal form property of non-dupllcating term rewriting systems. In N. Dershowitz, & N. Lindenstrauss (Eds.), Conditional and Typed Rewriting Systems - 4th International Workshop, CTRS 1994, Proceedings (pp. 316-331). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 968). Springer-Verlag. https://doi.org/10.1007/3-540-60381-6_19