Termination of just/fair computations in term rewriting
Information and Computation
Verification of well-formed communicating recursive state machines
Theoretical Computer Science
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
Hi-index | 0.00 |