Pages that link to "Item:Q259056"
From MaRDI portal
The following pages link to Re-visiting axioms of information systems (Q259056):
Displaying 7 items.
- Generalised information systems capture L-domains (Q831140) (← links)
- Weak algebraic information systems and a new equivalent category of DOM of domains (Q1727992) (← links)
- Bounded complete domains and their logical form (Q2105444) (← links)
- Information systems for continuous semi-lattices (Q2123056) (← links)
- Representations of stably continuous semi-lattices by information systems and abstract bases (Q2224847) (← links)
- The categorical equivalence between domains and interpolative generalized closure spaces (Q2698278) (← links)
- A representation of proper BC domains based on conjunctive sequent calculi (Q5220179) (← links)
