scientific article; zbMATH DE number 3510514

zbMath0326.18003MaRDI QIDQ4090505

Michael Pfender

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Algebraic structures (08Axx)

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