The following pages link to (Q4325268):
Displaying 34 items.
- Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
- The largest cartesian closed category of stable domains (Q671652) (← links)
- Quasi-prime algebraic domains (Q672133) (← links)
- On maximal stable functions (Q673145) (← links)
- A logical approach to stable domains (Q859843) (← links)
- From intervals to domains: towards a general description of validated uncertainty, with potential applications to geospatial and meteorological data (Q861921) (← links)
- On the order-theoretic properties of lower concept formula systems (Q891194) (← links)
- A representation of L-domains by information systems (Q896923) (← links)
- Information systems revisited -- the general continuous case (Q949623) (← links)
- Rough concept lattices and domains (Q1023298) (← links)
- Stable neighbourhoods (Q1185012) (← links)
- Historical introduction to ``Concrete domains'' by G. Kahn and G. D. Plotkin (Q1314353) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Defaults in domain theory (Q1391866) (← links)
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- Toward an infinitary logic of domains: Abramsky logic for transition systems (Q1854320) (← links)
- Clausal logic and logic programming in algebraic domains (Q1854478) (← links)
- Reasoning with power defaults (Q1882904) (← links)
- A categorical representation of algebraic domains based on variations of rough approximable concepts (Q2353995) (← links)
- Mediating secure information flow policies (Q2381505) (← links)
- Maximality and totality of stable functions in the category of stable bifinite domains (Q2475889) (← links)
- Closures in Binary Partial Algebras (Q2994476) (← links)
- On Rough Concept Lattices (Q2994483) (← links)
- Domain mu-calculus (Q4460689) (← links)
- A mereotopology based on sequent algebras (Q4586239) (← links)
- Bistructures, bidomains and linear logic (Q4632439) (← links)
- (Q4643955) (← links)
- Normal forms, linearity, and prime algebraicity over nonflat domains (Q5109211) (← links)
- Disjunctive systems and L-Domains (Q5204324) (← links)
- Various Constructions of Continuous Information Systems (Q5415627) (← links)
- Sequential functions on indexed domains and full abstraction for a sub-language of PCF (Q5890055) (← links)
- Linear domains and linear maps (Q5890060) (← links)
- Universal quasi-prime algebraic domains (Q5890061) (← links)
- A set-theoretic approach to algebraic \(\mathrm{L}\)-domains (Q6620017) (← links)
