scientific article; zbMATH DE number 4085875
From MaRDI portal
Publication:3815464
Preorders, orders, domains and lattices (viewed as categories) (18B35) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) General structure theory for semigroups (20M10) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Recommendations
Cited in
(2)
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 Q3815464)