Geographic wayfinders and space-time algebra
DOI10.1016/j.jlamp.2019.02.003zbMath1423.68552OpenAlexW2917445925WikidataQ114851574 ScholiaQ114851574MaRDI QIDQ2423755
Publication date: 20 June 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-519433
moving objectsmodal operatorsmodal semiringstime geographyformal algebraic semanticsobstacle analysis
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Semantics in the theory of computing (68Q55) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic derivation of until rules and application to timer verification
- An algebra of database preferences
- Algebraic Notions of Termination
- Handbook of Spatial Logics
- Automated Reasoning in Kleene Algebra
- The Modal Multilogic of Geometry
- Kleene algebra with domain
- Modal Logics of Regions and Minkowski Spacetime
This page was built for publication: Geographic wayfinders and space-time algebra