The following pages link to Concrete Semantics (Q2926333):
Displaying 11 items.
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- Flag-based big-step semantics (Q516041) (← links)
- Amortized complexity verified (Q670702) (← links)
- ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT (Q5037519) (← links)
- (Q5875431) (← links)
- (Q5875432) (← links)
- (Q6060676) (← links)
- (Q6079215) (← links)
- Unifying splitting (Q6103590) (← links)
- Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time (Q6154978) (← links)
- A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL (Q6190081) (← links)
