The predicate completion of a partial information system

DOI10.1515/MS-2017-0098zbMATH Open1506.68050OpenAlexW2795925248MaRDI QIDQ4610092FDOQ4610092

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Completion Is an Instance of Abstract Canonical System Inference
• Partial information systems and the Smyth powerdomain
• Title not available (Why is that?)

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)