A3PAT
From MaRDI portal
Software:33392
swMATH21587MaRDI QIDQ33392FDOQ33392
Author name not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- 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
- Certifying safety and termination proofs for integer transition systems
- Mechanically certifying formula-based Noetherian induction reasoning
- Certified subterm criterion and certified usable rules
- Generalized and formalized uncurrying
This page was built for software: A3PAT
