scientific article
From MaRDI portal
Publication:3839071
zbMath0908.68081MaRDI QIDQ3839071
Fabio Gadducci, Andrea Corradini
Publication date: 8 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Term-Graph Rewriting Via Explicit Paths ⋮ Commutative rational term rewriting ⋮ GETGRATS ⋮ Categorical rewriting of term-like structures ⋮ On equal \(\mu \)-terms ⋮ Rewriting on cyclic structures: Equivalence between the operational and the categorical description ⋮ Context-sensitive rewriting strategies ⋮ A causal semantics for CCS via rewriting logic
This page was built for publication:
