Pages that link to "Item:Q3007567"
From MaRDI portal
The following pages link to Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL (Q3007567):
Displayed 15 items.
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Left omega algebras and regular equations (Q1931903) (← links)
- In praise of algebra (Q1941861) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Using relation-algebraic means and tool support for investigating and computing bipartitions (Q2360655) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)
- Defense in Depth Formulation and Usage in Dynamic Access Control (Q3304820) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL (Q5049005) (← links)