Pages that link to "Item:Q4922080"
From MaRDI portal
The following pages link to Continuous Domain Theory in Logical Form (Q4922080):
Displaying 10 items.
- Historical introduction to ``Concrete domains'' by G. Kahn and G. D. Plotkin (Q1314353) (← links)
- A logic for Lawson compact algebraic L-domains (Q1989346) (← links)
- Continuous L-domains in logical form (Q2041961) (← links)
- Bounded complete domains and their logical form (Q2105444) (← links)
- A duality theoretic view on limits of finite structures (Q2200829) (← links)
- (Q3007262) (← links)
- (Q5028470) (← links)
- Consistent disjunctive sequent calculi and Scott domains (Q5048008) (← links)
- Continuous Domains in Formal Concept Analysis* (Q5164859) (← links)
- A representation of proper BC domains based on conjunctive sequent calculi (Q5220179) (← links)
