Pages that link to "Item:Q5220179"
From MaRDI portal
The following pages link to A representation of proper BC domains based on conjunctive sequent calculi (Q5220179):
Displaying 6 items.
- Generalised information systems capture L-domains (Q831140) (← links)
- A logic for Lawson compact algebraic L-domains (Q1989346) (← links)
- Continuous L-domains in logical form (Q2041961) (← links)
- The categorical equivalence between domains and interpolative generalized closure spaces (Q2698278) (← links)
- Consistent disjunctive sequent calculi and Scott domains (Q5048008) (← links)
- Continuous Domains in Formal Concept Analysis* (Q5164859) (← links)
