A note on finitely derived information systems

DOI10.1016/j.entcs.2014.01.005zbMath1337.68161OpenAlexW2089622081WikidataQ113317919 ScholiaQ113317919MaRDI QIDQ276427

Petko Valtchev, Lankun Guo, Robert Godin, Qing-Guo Li

Publication date: 3 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.01.005

zbMATH Keywords

algebraic domainequivalence of categoriesfinitely derived information system

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Information systems revisited -- the general continuous case
• \(dI\)--domains as prime information systems
• Continuous information systems
• A representation of SFP
• Continuous Lattices and Domains
• Formal $\mathcal{F}$ -contexts and Their Induced Implication Rule Systems
• Disjunctive systems and L-Domains

This page was built for publication: A note on finitely derived information systems