scientific article
From MaRDI portal
Publication:3673085
zbMath0522.68023MaRDI QIDQ3673085
Gisbert Dittrich, Wolfgang Merzenich
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Paths and cycles (05C38) Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Algebraic theory of languages and automata (68Q70) Specification and verification (program logics, model checking, etc.) (68Q60) Categories of machines, automata (18B20)
This page was built for publication:
