CPO Models for Infinite Term Rewriting

Authors:
Andrea Corradini;Fabio Gadducci
Affiliations:
-;-
Venue:
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
Year:
1995

Citing 0
Cited 3

A causal semantics for CCS via rewriting logic

Theoretical Computer Science
Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
Term-Graph Rewriting Via Explicit Paths

RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract