Publication:5536279
From MaRDI portal
zbMath0156.25504MaRDI QIDQ5536279
Publication date: 1965
Related Items
An axiomatization of graphs, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, Pattern matching in trees and nets, Functorial models for Petri nets, Graph automata, Recognizability of graph and pattern languages, Ein Vollständigkeitssatz für Programme und Schaltkreise. (A completeness theorem for programs and switching circuits.), On a code problem concerning planar acyclic graphs