Superposition with datatypes and codatatypes
From MaRDI portal
Publication:1799098
DOI10.1007/978-3-319-94205-6_25OpenAlexW4289753566MaRDI QIDQ1799098
Simon Robillard, Jasmin Christian Blanchette, Nicolas Peltier
Publication date: 18 October 2018
Full work available at URL: https://research.chalmers.se/en/publication/504169
Abstract data types; algebraic specification (68Q65) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (3)
A comprehensive framework for saturation theorem proving ⋮ Superposition with first-class booleans and inprocessing clausification ⋮ A comprehensive framework for saturation theorem proving
Uses Software
This page was built for publication: Superposition with datatypes and codatatypes
