Author:
Gomes Victor B. F.,Struth Georg
Publisher
Springer International Publishing
Reference28 articles.
1. Armstrong, A., Gomes, V.B.F., Struth, G.: Kleene algebra with tests and demonic refinement algebras. In: Archive of Formal Proofs (2014)
2. Armstrong, A., Gomes, V.B.F., Struth, G.: Building program construction and verification tools from algebraic principles. Form. Asp. Comput. 28(2), 265–293 (2016)
3. Lecture Notes in Computer Science;A Armstrong,2012
4. Armstrong, A., Struth, G., Weber, T.: Kleene algebra. In: Archive of Formal Proofs (2013)
5. Armstrong, A., Struth, G., Weber, T.: Programming, automating mathematics in the Tarski-Kleene hierarchy. J. Log. Algebraic Methods Program. 83(2), 87–102 (2014)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献