Pages that link to "Item:Q3183524"
From MaRDI portal
The following pages link to Turning Inductive into Equational Specifications (Q3183524):
Displaying 6 items.
- A solution to the PoplMark challenge using de Bruijn indices in Isabelle/HOL (Q1945915) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (Q2891399) (← links)
- Foundational Property-Based Testing (Q2945645) (← links)
- Animating the Formalised Semantics of a Java-Like Language (Q3088008) (← links)
- First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)