Pages that link to "Item:Q5327340"
From MaRDI portal
The following pages link to Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable (Q5327340):
Displaying 11 items.
- Light-weight Containers (Q40952) (← links)
- Reachability, confluence, and termination analysis with state-compatible automata (Q515687) (← links)
- A consistent foundation for Isabelle/HOL (Q1739913) (← links)
- Isabelle's metalogic: formalization and proof checker (Q2055847) (← links)
- A formally verified, optimized monitor for metric first-order dynamic logic (Q2096466) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- Certifying proofs in the first-order theory of rewriting (Q2233502) (← links)
- Automatic refinement to efficient data structures: a comparison of two approaches (Q2417948) (← links)
- A Consistent Foundation for Isabelle/HOL (Q2945636) (← links)
- Deriving Comparators and Show Functions in Isabelle/HOL (Q2945654) (← links)
- Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644) (← links)
