A Complete Characterization of Termination of Op 1q - 1r Os

Authors:
Hans Zantema;Alfons Geser
Affiliations:
-;-
Venue:
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Year:
1995

Citing 0
Cited 4

Semi-Thue Systems with an Inhibitor

Journal of Automated Reasoning
Decision Problems for Semi-Thue Systems with a Few Rules

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Termination by quasi-periodic interpretations

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
A COMPLETE AXIOMATIZATION FOR PREFIX ITERATION IN BRANCHING BISIMULATION

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract