Publication:3839071
From MaRDI portal
zbMath0908.68081MaRDI QIDQ3839071
Andrea Corradini, Fabio Gadducci
Publication date: 8 October 1998
68Q42: Grammars and rewriting systems
Related Items
Rewriting on cyclic structures: Equivalence between the operational and the categorical description, A causal semantics for CCS via rewriting logic, Context-sensitive rewriting strategies, Term-Graph Rewriting Via Explicit Paths