scientific article; zbMATH DE number 3510514
From MaRDI portal
zbMath0326.18003MaRDI QIDQ4090505
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Varieties of chain-complete algebras, Primitive recursive algebraic theories and program schemes, Unnamed Item, Normal forms for algebras of connections., Functorial models for Petri nets, Dynamic connectors for concurrency, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic