Exploring modal worlds
DOI10.1016/J.JLAP.2014.02.004zbMATH Open1434.03146OpenAlexW1970594971WikidataQ62039036 ScholiaQ62039036MaRDI QIDQ406442FDOQ406442
Bernhard Möller, Roland Glück, Patrick Roocks, Andreas Zelend, Han-Hing Dang
Publication date: 8 September 2014
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2014.02.004
Recommendations
Knowledge representation (68T30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Other algebras related to logic (03G25)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reverse Exchange for Concurrency and Local Reasoning
- Relational mathematics
- Kleene algebra with domain
- Algebraic separation logic
- Title not available (Why is that?)
- An Algebraic Calculus of Database Preferences
- Incremental Pseudo Rectangular Organization of Information Relative to a Domain
- An Algebra of Layered Complex Preferences
- Rectangles, Fringes, and Inverses
- A semiring approach to equivalences, bisimulations and control
- Title not available (Why is that?)
- The inverse semigroup of a sum-ordered semiring
- Algebras of modal operators and partial correctness
Cited In (3)
This page was built for publication: Exploring modal worlds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406442)
