The predicate completion of a partial information system

DOI10.1515/MS-2017-0098MaRDI QIDQ4610092zbMATH OpenOpenAlexFDO

Authors Zack French, James B. Hart

Publication date 5 April 2018

Published in Mathematica Slovaca (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/ms-2017-0098

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• Partial information systems and the Smyth powerdomain
• Information systems revisited -- the general continuous case
• Information systems for continuous posets
• Continuous information systems
• A representation of L-domains by information systems

Cited in

(3)

• Partial information systems and the Smyth powerdomain
• Completion Is an Instance of Abstract Canonical System Inference
• scientific article; zbMATH DE number 1169381 (Why is no real title available?)

This page was built for publication: The predicate completion of a partial information system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4610092)