Fairness in term rewriting systems

Authors:
Sara Porat;Nissim Francez
Affiliations:
Technion, Haifa, Israel;Technion, Haifa, Israel
Venue:
Proc. of the first international conference on Rewriting techniques and applications
Year:
1985

Citing 0
Cited 3

Termination of just/fair computations in term rewriting

Information and Computation
Termination of fair computations in term rewriting

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Localized fairness: a rewriting semantics

RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract