Cited in
(14)- Generalized and formalized uncurrying
- scientific article; zbMATH DE number 7178362 (Why is no real title available?)
- Structural analysis of narratives with the Coq proof assistant
- Proving termination by dependency pairs and inductive theorem proving
- A metamodel of access control for distributed environments: applications and properties
- Jakarta
- SPIKE
- CoLoR
- Jambox
- SparrowBerry
- REVE
- Certifying safety and termination proofs for integer transition systems
- Mechanically certifying formula-based Noetherian induction reasoning
- Certified subterm criterion and certified usable rules
This page was built for software: A3PAT
