Hopscotch -- reaching the target hop by hop
From MaRDI portal
Publication:406451
DOI10.1016/J.JLAP.2014.02.009zbMATH Open1371.68210OpenAlexW2137815065MaRDI QIDQ406451FDOQ406451
Authors: Peter Höfner, Annabelle McIver 
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.009
Recommendations
Graph theory (including graph drawing) in computer science (68R10) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- NetKAT
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relation algebras
- A completeness theorem for Kleene algebras and the algebra of regular events
- Towards a refinement algebra
- Unifying Lazy and Strict Computations
- Relational mathematics
- Title not available (Why is that?)
- Kleene algebra with domain
- On Hoare logic and Kleene algebra with tests
- Title not available (Why is that?)
- Relation algebras: Concept of points and representability
- Graph-theoretic concepts in computer science. 20th International Workshop. WG '94, Herrsching, Germany, June 16-18, 1994. Proceedings
- Dijkstra, Floyd and Warshall meet Kleene
- An Algebraic Calculus of Database Preferences
- Relational Concepts in Social Choice
- Algebraic Notions of Termination
- Towards an algebra of routing tables
- On Automating the Calculus of Relations
- Regular Algebra Applied to Path-finding Problems
- On the Cardinality of Relations
- Matrix development of the calculus of relations
- Relational Methods in Computer Science
- Kleene modules and linear languages
- Relational measures and integration in preference modeling
Uses Software
This page was built for publication: Hopscotch -- reaching the target hop by hop
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406451)
