Automated Reasoning in Higher-Order Regular Algebra-Reference-Cited by-同舟云学术

Automated Reasoning in Higher-Order Regular Algebra

Published:2012 Issue: Volume: Page:66-81
ISSN:0302-9743
Container-title:Relational and Algebraic Methods in Computer Science
language:
Short-container-title:

Author:

Armstrong Alasdair,Struth Georg

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-33314-9_5

Reference24 articles.

1. Aarts, C.J.: Galois connections presented calculationally. Master’s thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology (1992)

2. Lecture Notes in Computer Science;A. Asperti,2009

3. Ballarin, C.: Tutorial to locales and locale interpretation. In: Contribuciones Científicas en honor de Mirian Andrés. Servicio de Publicaciones de la Universidad de La Rioja, Spain (2010)

4. Lecture Notes in Computer Science;J.C. Blanchette,2011

5. Boffa, M.: Une remarque sur les systèmes complets d’identités rationnelles. Informatique Théorique et Applications 24(4), 419–423 (1990)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Developments in concurrent Kleene algebra;Journal of Logical and Algebraic Methods in Programming;2016-06

2. Building program construction and verification tools from algebraic principles;Formal Aspects of Computing;2016-04

3. Modal Kleene Algebra Applied to Program Correctness;FM 2016: Formal Methods;2016

4. Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL;Interactive Theorem Proving;2013

5. Kleene Algebra with Tests and Coq Tools for while Programs;Interactive Theorem Proving;2013