Publication:3785984
From MaRDI portal
zbMath0643.68102MaRDI QIDQ3785984
Publication date: 1987
68Q45: Formal languages and automata
Related Items
Locating the contractum in the double pushout approach, Algebraic approach to single-pushout graph transformation, Equivalence of computations in actor grammars, Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming, Hypermap rewriting: A combinatorial approach, Computation graphs for actor grammars, An abstract machine for concurrent modular systems: CHARM, Term graph rewriting and garbage collection using opfibrations, Generating irregular partitionable data structures, Contextual Petri nets, asymmetric event structures, and processes, Contextual nets, Confluence theory for graphs, Unnamed Item