Pages that link to "Item:Q1989346"

The following pages link to A logic for Lawson compact algebraic L-domains (Q1989346):

Displaying 9 items.

• Generalised information systems capture L-domains (Q831140) (← links)
• Toward an infinitary logic of domains: Abramsky logic for transition systems (Q1854320) (← 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)
• A direct approach to representing algebraic domains by formal contexts (Q6570309) (← links)