Rational Term Rewriting (1998)

Cached

Download Links

by A. Corradini , F. Gadducci
Citations:21 - 12 self

Documents Related by Co-Citation

20 (Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting – Andrea Corradini , Frank Drewes - 1997
71 Equational term graph rewriting – Zena M. Ariola, Jan Willem Klop - 1996
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
18 Relating Two Categorical Models of Term Rewriting – A. Corradini, F. Gadducci, U. Montanari - 1995
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
20 Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms – D E Rydeheard, J G Stell - 1987
16 An abstract formulation for rewrite systems – A J Power - 1989
567 Term Rewriting Systems – J. W. Klop - 1992
90 Algebraic approach to single-pushout graph transformation – M Löwe - 1993
10 CPO models for infinite term rewriting – Andrea Corradini, Fabio Gadducci - 1995
18 Implementing Term Rewriting by Jungle Evaluation – Berthold Hoffmann, Detlef Plump - 1991
50 Computational semantics of term rewriting systems – G Boudol - 1985
19 On “on graph rewritings – R Kennaway - 1987
5 Iteration 2-theories – A Labella Esik, E G Manes - 1997
37 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 1999
3219 Communication and Concurrency – R Milner - 1990
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
20 Term graph reduction – H P Barendregt, M C J D van Eekelen, J R W Glauert, J R Kennaway, M J Plasmeijer, M R Sleep - 1987
577 Petri Nets: An Introduction – W Reisig - 1985