Simon Cruanes | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Alexander Bentkamp
8 publications
Pascal Fontaine
7 publications
Haniel Barbosa
6 publications
Ewen Maclean
3 publications
Jasmin Blanchette
3 publications
Uwe Waldmann
3 publications
Jasmin Christian Blanchette
2 publications
Grant Olney Passmore
1 publication
Denis Ignatovich
1 publication
Dave Aitken
1 publication
Matt Bray
1 publication

research

∙ 05/05/2020

Superposition for Lambda-Free Higher-Order Logic

We introduce refutationally complete superposition calculi for intention...

0 Alexander Bentkamp, et al. ∙

research

∙ 04/21/2020

The Imandra Automated Reasoning System (system description)

We describe Imandra, a modern computational logic theorem prover designe...

0 Grant Olney Passmore, et al. ∙

research

∙ 12/05/2017

Language and Proofs for Higher-Order SMT (Work in Progress)

Satisfiability modulo theories (SMT) solvers have throughout the years b...

0 Haniel Barbosa, et al. ∙

Success!

An error occurred