scientific article
From MaRDI portal
Publication:3490954
zbMath0708.68029MaRDI QIDQ3490954
No author found.
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Implementing term rewriting by graph reduction: Termination of combined systems ⋮ Term graph rewriting and garbage collection using opfibrations ⋮ Implementing term rewriting by jungle evaluation ⋮ Locating the contractum in the double pushout approach ⋮ Algebraic approach to single-pushout graph transformation ⋮ Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming ⋮ Essentials of Term Graph Rewriting ⋮ A categorical manifesto ⋮ Bisimilarity in term graph rewriting.
This page was built for publication: