Simon Cruanes

Identifiers

• name variant Simon Cruanes 0.60 · backfill

Papers (2)

1. Superposition for Lambda-Free Higher-Order Logic cs.LO · 2020 · author #3
2. The Imandra Automated Reasoning System (system description) cs.LO · 2020 · author #2

Mentions

• 2005.02094 #3 · arxiv_oai · confidence 0.70 Simon Cruanes
• 2004.10263 #2 · arxiv_oai · confidence 0.70 Simon Cruanes

Frequent Coauthors

• Alexander Bentkamp 1 shared papers
• Dave Aitken 1 shared papers
• Denis Ignatovich 1 shared papers
• Elijah Kagan 1 shared papers
• Ewen Maclean 1 shared papers
• Grant Olney Passmore 1 shared papers
• Jasmin Blanchette 1 shared papers
• Kostya Kanishev 1 shared papers
• Matt Bray 1 shared papers
• Nicola Mometto 1 shared papers
• Uwe Waldmann 1 shared papers