The following pages link to Disjunctive systems and L-Domains (Q5204324):
Displaying 14 items.
- Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
- A note on finitely derived information systems (Q276427) (← links)
- Generalised information systems capture L-domains (Q831140) (← links)
- A logical approach to stable domains (Q859843) (← links)
- A representation of L-domains by information systems (Q896923) (← links)
- Stone duality and representation of stable domain (Q1368465) (← links)
- Bounded complete domains and their logical form (Q2105444) (← links)
- Representation of algebraic domains by formal association rule systems (Q2971115) (← links)
- (Q3445014) (← links)
- Consistent disjunctive sequent calculi and Scott domains (Q5048008) (← links)
- A representation of proper BC domains based on conjunctive sequent calculi (Q5220179) (← links)
- Various Constructions of Continuous Information Systems (Q5415627) (← links)
- (Q5560261) (← links)
- A note on information systems for continuous semi-lattices (Q6548962) (← links)