scientific article
From MaRDI portal
Publication:3815464
zbMath0664.18003MaRDI QIDQ3815464
Giorgio Germano, Stefano Mazzanti
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General structure theory for semigroups (20M10) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Preorders, orders, domains and lattices (viewed as categories) (18B35) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)
Related Items (2)
This page was built for publication: