scientific article; zbMATH DE number 3979125
From MaRDI portal
Publication:3744208
continuous algebrasdominionsepimorphismspartial ordersemantic models of computationstructural characterization
Partial orders, general (06A06) Continuous lattices and posets, applications (06B35) Ordered rings, algebras, modules (06F25) Partial algebras (08A55) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Preorders, orders, domains and lattices (viewed as categories) (18B35) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
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 Q3744208)