Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/b98117zbMath1088.68772OpenAlexW2476951070MaRDI QIDQ5712431

Wolfram Kahl

Publication date: 23 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98117

Mathematics Subject Classification ID

Related Items

Typing theorems of omega algebra ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ On Automating the Calculus of Relations ⋮ Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} ⋮ Cardinalities of Finite Relations in Coq ⋮ Abstract abstract reduction

Uses Software

• Isabelle
• Isabelle/Isar