The following pages link to A3PAT (Q33392):
Displaying 8 items.
- Proving termination by dependency pairs and inductive theorem proving (Q438537) (← links)
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Certifying safety and termination proofs for integer transition systems (Q2405269) (← links)
- Structural Analysis of Narratives with the Coq Proof Assistant (Q3087995) (← links)
- Generalized and Formalized Uncurrying (Q3172898) (← links)
- (Q5219927) (← links)
- CERTIFIED SUBTERM CRITERION AND CERTIFIED USABLE RULES (Q5389153) (← links)
