scientific article; zbMATH DE number 3827183
From MaRDI portal
Publication:3673085
zbMATH Open0522.68023MaRDI QIDQ3673085FDOQ3673085
Gisbert Dittrich, Wolfgang Merzenich
Publication date: 1983
Title of this publication is not available (Why is that?)
Paths and cycles (05C38) Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Specification and verification (program logics, model checking, etc.) (68Q60) Algebraic theory of languages and automata (68Q70) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories of machines, automata (18B20)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3673085)
