18 results on '"Bernhard Möller"'
Search Results
2. Developments in concurrent Kleene algebra.
3. Extended Feature Algebra.
4. An algebra of database preferences.
5. Extended transitive separation logic.
6. Relational style laws and constructs of linear algebra.
7. Exploring modal worlds.
8. On nothing.
9. Algebraic separation logic.
10. Concurrent Kleene Algebra and its Foundations.
11. Normal design algebra.
12. An algebra of hybrid systems.
13. Algebraic Neighbourhood Logic.
14. Kleene under a modal demonic star.
15. Preface.
16. Relations and Kleene algebras in computer science.
17. Relations and Kleene algebras in computer science.
18. Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.