Relating Two Categorical Models of Term Rewriting (1995)

Cached

Download Links

by A. Corradini , F. Gadducci , U. Montanari
Venue:Rewriting Techniques and Applications, volume 914 of LNCS
Citations:18 - 11 self

Documents Related by Co-Citation

166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
16 An abstract formulation for rewrite systems – A J Power - 1989
20 Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms – D E Rydeheard, J G Stell - 1987
137 Review of the elements of 2-categories – Max Kelly, Ross Street
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
24 On The Algebraic Approach To Concurrent Term Rewriting – Fabio Gadducci - 1996
50 Computational semantics of term rewriting systems – G Boudol - 1985
21 Rational Term Rewriting – A. Corradini, F. Gadducci - 1998
12 Axiomatizing permutation equivalence in the - calculus – C Laneve, U Montanari - 1992
6 Categorical Aspects of Unification and Rewriting – J G Stell - 1992
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
3219 Communication and Concurrency – R Milner - 1990
67 Semantics of weakening and contraction – B Jacobs - 1994
20 Equational Reasoning With 2-Dimensional Diagrams (preliminary Version) – Yves Lafont - 1992
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
42 Bicategories of Processes – P. Katis, N. Sabadini, R. F. C. Walters - 1997
930 Categories for the Working Mathematician – S Mac Lane - 1971
37 The syntax of categorical logic – Michael Makkai - 1993
73 Graph expressions and graph rewritings – M BAUDERON, B COURCELLE - 1987