Publication:4325268
From MaRDI portal
zbMath0854.68058MaRDI QIDQ4325268
No author found.
Publication date: 7 March 1995
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Domain mu-calculus, The largest cartesian closed category of stable domains, Quasi-prime algebraic domains, On maximal stable functions, A logical approach to stable domains, From intervals to domains: towards a general description of validated uncertainty, with potential applications to geospatial and meteorological data, Information systems revisited -- the general continuous case, Rough concept lattices and domains, Stable neighbourhoods, The equational logic of fixed points, Defaults in domain theory, Generalized metrics and uniquely determined logic programs., Toward an infinitary logic of domains: Abramsky logic for transition systems, Clausal logic and logic programming in algebraic domains, Reasoning with power defaults, Mediating secure information flow policies, Maximality and totality of stable functions in the category of stable bifinite domains