Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
From MaRDI portal
Publication:3007567
DOI10.1007/978-3-642-21070-9_5zbMath1329.68230OpenAlexW1249704292MaRDI QIDQ3007567
Simon Foster, Tjark Weber, Georg Struth
Publication date: 17 June 2011
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21070-9_5
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
Using relation-algebraic means and tool support for investigating and computing bipartitions ⋮ Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ Unifying Heterogeneous State-Spaces with Lenses ⋮ Automated Reasoning in Higher-Order Regular Algebra ⋮ On Completeness of Omega-Regular Algebras ⋮ Left omega algebras and regular equations ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ In praise of algebra ⋮ Relational characterisations of paths ⋮ Defense in Depth Formulation and Usage in Dynamic Access Control ⋮ Completeness for Identity-free Kleene Lattices ⋮ Cardinality of relations with applications ⋮ Isabelle/UTP: A Mechanised Theory Engineering Framework ⋮ Modelling algebraic structures and morphisms in ACL2
Uses Software
This page was built for publication: Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
