Semantics and strong sequentiality of priority term rewriting systems

• Authors:

• Masahiko Sakai;Yoshihito Toyama

• Affiliations:

• Nagoya Univ., Chikusa, Japan;Japan Advanced Institute of Science and Technology, Tatsunokuchi, Japan

• Venue:
• Theoretical Computer Science - Special issue on rewriting techniques and applications
• Year:
• 1998