Pages that link to "Item:Q949623"

The following pages link to Information systems revisited -- the general continuous case (Q949623):

Displaying 19 items.

• Re-visiting axioms of information systems (Q259056) (← links)
• Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
• A note on finitely derived information systems (Q276427) (← links)
• Formal contexts for algebraic domains (Q276430) (← links)
• Generalised information systems capture L-domains (Q831140) (← links)
• A representation of L-domains by information systems (Q896923) (← links)
• Weak algebraic information systems and a new equivalent category of DOM of domains (Q1727992) (← links)
• Bounded complete domains and their logical form (Q2105444) (← links)
• Information systems for continuous semi-lattices (Q2123056) (← links)
• Representations of stably continuous semi-lattices by information systems and abstract bases (Q2224847) (← links)
• A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis (Q2302786) (← links)
• A categorical representation of algebraic domains based on variations of rough approximable concepts (Q2353995) (← links)
• The categorical equivalence between domains and interpolative generalized closure spaces (Q2698278) (← links)
• Representation of algebraic domains by formal association rule systems (Q2971115) (← 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)
• Various Constructions of Continuous Information Systems (Q5415627) (← links)
• Topological representations of Lawson compact algebraic L-domains and Scott domains (Q6111232) (← links)