Making Higher-Order Superposition Work
Petar Vukmirović, Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Topics & Concepts
Gas meter proverAutomated theorem provingOrder (exchange)Computer scienceBranching (polymer chemistry)Superposition principleCalculus (dental)Theoretical computer scienceMathematicsMathematical proofEconomicsMaterials scienceMedicineFinanceComposite materialMathematical analysisDentistryGeometryLogic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification