Calculational Relation-Algebraic Proofs in Isabelle/Isar-Reference-Cited by-同舟云学术

Calculational Relation-Algebraic Proofs in Isabelle/Isar

Published:2004 Issue: Volume: Page:178-190
ISSN:0302-9743
Container-title:Relational and Kleene-Algebraic Methods in Computer Science
language:
Short-container-title:

Author:

Kahl Wolfram

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24771-5_16.pdf

Reference33 articles.

1. Lecture Notes in Computer Science;D. Aspinall,2000

2. Behnke, R., Berghammer, R., Schneider, P.: Machine support of relational computations: The Kiel RELVIEW system. Technical Report 9711, Institut für Informatik und Praktische Mathematik, Christian- Albrechts- Universität Kiel (June 1997)

3. Berghammer, R., Hattensperger, C.: Computer-aided manipulation of relational expressions and formulae using RALF. In: Buth, B., Berghammer, R. (eds.) Systems for Computer-Aided Specification, Development and Verification, Bericht Nr. 9416, pp. 62–78. Universit ät Kiel (1994)

4. Berghammer, R., Hoffmann, T., Leoniuk, B.: Rechnergest ützte Erstellung von Prototypen für Programme auf relationalen Strukturen. Technical Report 9905, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel (July 1999)

5. Lecture Notes in Computer Science;G. Bauer,2001

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

1. Towards Verified Handwritten Calculational Proofs;Interactive Theorem Proving;2018

2. Tool-Based Verification of a Relational Vertex Coloring Program;Relational and Algebraic Methods in Computer Science;2015

3. A Mechanised Abstract Formalisation of Concept Lattices;Relational and Algebraic Methods in Computer Science;2014

4. Automated Verification of Relational While-Programs;Relational and Algebraic Methods in Computer Science;2014

5. Deciding Kleene Algebras in Coq;Logical Methods in Computer Science;2012-03-02