Lazy Semiring Neighbours and Some Applications

DOI10.1007/11828563_14zbMATH Open1134.68408OpenAlexW1540341981MaRDI QIDQ5459183FDOQ5459183

Authors: Peter Höfner, Bernhard Möller 

Publication date: 24 April 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11828563_14

Recommendations

• Algebraic neighbourhood logic
• Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
• Kleene getting lazy
• Quantitative \(\mu\)-calculus and CTL based on constraint semirings
• Mathematics of Program Construction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (2)

• Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
• Algebraic neighbourhood logic

This page was built for publication: Lazy Semiring Neighbours and Some Applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5459183)