Author:
Desharnais Jules,Möller Bernhard
Publisher
Springer International Publishing
Reference17 articles.
1. Bloom, S., Ésik, Z.: Iteration algebras. Int. J. Found. Comput. Sci. 3(3), 245–302 (1992)
2. Conway, J.: Regular Algebra and Finite Machines. Chapman & Hall, Boca Raton (1971)
3. Desharnais, J., Möller, B.: Characterizing determinacy in Kleene algebras. Inf. Sci. 139, 253–273 (2001)
4. Desharnais, J., Möller, B.: Non-associative Kleene algebra and temporal logics.
https://www.informatik.uni-augsburg.de/de/lehrstuehle/dbis/pmi/publications/all_pmi_tech-reports/tr-RAMICS16/
5. Desharnais, J., Möller, B., Struth, G.: Kleene algebra with domain. ACM Trans. Comput. Logic 7, 798–833 (2006)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algorithmics;IFIP Advances in Information and Communication Technology;2021
2. Iterative Division in the Distributive Full Non-associative Lambek Calculus;Lecture Notes in Computer Science;2020
3. False Failure: Creating Failure Models for Separation Logic;Relational and Algebraic Methods in Computer Science;2018
4. Algebraic Derivation of Until Rules and Application to Timer Verification;Relational and Algebraic Methods in Computer Science;2018