@inproceedings{fdf958b53b4a4fffbc27564362d2f260,
title = "Semantics and strong sequentially of priority term rewriting systems",
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.",
author = "Masahiko Sakai and Yoshihito Toyama",
year = "1996",
month = jan,
day = "1",
language = "English",
isbn = "3540614648",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "377--391",
editor = "Harald Ganzinger",
booktitle = "Rewriting Techniques and Applications - 7th International Conference, RTA 1996, Proceedings",
note = "7th International Conference on Rewriting Techniques and Applications, RTA 1996 ; Conference date: 27-07-1996 Through 30-07-1996",
}