RALL: Machine-supported proofs for relation algebra-Reference-Cited by-同舟云学术

RALL: Machine-supported proofs for relation algebra

Published:1997 Issue: Volume: Page:380-394
ISSN:0302-9743
Container-title:Automated Deduction—CADE-14
language:
Short-container-title:

Author:

von Oheimb David,Gritzner Thomas F.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63104-6_36

Reference28 articles.

1. Backhouse, R.C., Hoogendijk, P., Voermans, E., van der Woude, J.C.S.P: A relational theory of datatypes. Eindhoven University of Technology, Dept. of Mathematics and Computer Science (1992)

2. Berghammer, R., Hattensperger, C., Schmidt, G.: RALF — A relation-algebraic formula manipulation system and proof checker. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (Eds.): Proc. 3rd Conference on Algebraic Methodology and Software Technology — AMAST '93. Series: Workshops in Computing, Springer-Verlag (1994) 407–408

3. Berghammer, R., Schmidt, G.: Relational specifications. In: Rauszer C. (ed.): Algebraic Methods in Logic and in Computer Science. Series: Banach Center Publications 28, Polish Academy of Sciences (1993) 167–190

4. Birkhoff, G.: Lattice Theory. AMS Colloquium Publications 25 (31967)

5. Brink, C., Schmidt, G.: Relational methods in computer science. Schloß Dagstuhl, Seminar Nr. 9403, Technischer Bericht Nr. 80 (1994)

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

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

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

3. A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations;Diagrammatic Representation and Inference;2012

4. A First-Order Calculus for Allegories;Relational and Algebraic Methods in Computer Science;2011

5. Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL;Relational and Algebraic Methods in Computer Science;2011