Semantics and strong sequentially of priority term rewriting systems

Masahiko Sakai, Yoshihito Toyama

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

1 Citation (Scopus)

Abstract

This paper gives an operational semantics of priority term rewriting systems (PRS) by using conditional systems, whose reduction is decidable and stable under substitution. We also define the class of strong sequential PRSs and show that this class is decidable. Moreover, we show that the index rewriting of strong sequential PRSs gives a normalizing strategy.

Original languageEnglish
Title of host publicationRewriting Techniques and Applications - 7th International Conference, RTA 1996, Proceedings
EditorsHarald Ganzinger
PublisherSpringer-Verlag
Pages377-391
Number of pages15
ISBN (Print)3540614648, 9783540614647
Publication statusPublished - 1996 Jan 1
Event7th International Conference on Rewriting Techniques and Applications, RTA 1996 - New Brunswick, United States
Duration: 1996 Jul 271996 Jul 30

Publication series

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

Other

Other7th International Conference on Rewriting Techniques and Applications, RTA 1996
Country/TerritoryUnited States
CityNew Brunswick
Period96/7/2796/7/30

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Semantics and strong sequentially of priority term rewriting systems'. Together they form a unique fingerprint.

Cite this