Showing 1 - 2 results of 2 for search 'Simon Cruanes', query time: 0.02s Refine Results
  1. 1
    Superposition for Lambda-Free Higher-Order Logic

    Superposition for Lambda-Free Higher-Order Logic by Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann

    Published 2021-04-01
    Get full text
    Article
  2. 2
    Language and Proofs for Higher-Order SMT (Work in Progress)

    Language and Proofs for Higher-Order SMT (Work in Progress) by Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine

    Published 2017-12-01
    Get full text
    Article

Search Tools: