Pages that link to "Item:Q1989346"
From MaRDI portal
The following pages link to A logic for Lawson compact algebraic L-domains (Q1989346):
Displaying 7 items.
- Generalised information systems capture L-domains (Q831140) (← links)
- Continuous L-domains in logical form (Q2041961) (← links)
- Bounded complete domains and their logical form (Q2105444) (← links)
- Information systems for continuous semi-lattices (Q2123056) (← links)
- The categorical equivalence between domains and interpolative generalized closure spaces (Q2698278) (← links)
- Continuous Domains in Formal Concept Analysis* (Q5164859) (← links)
- Topological representations of Lawson compact algebraic L-domains and Scott domains (Q6111232) (← links)
