Simon Cruanes
From MaRDI portal
Person:1687552
Available identifiers
zbMath Open cruanes.simonMaRDI QIDQ1687552
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| An Automation-Friendly Set Theory for the B Method | 2023-03-10 | Paper |
| Making higher-order superposition work | 2022-12-12 | Paper |
| The Imandra Automated Reasoning System (System Description) | 2022-11-09 | Paper |
| Making higher-order superposition work | 2021-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4989394 | 2021-05-25 | Paper |
| Faster, higher, stronger: E 2.3 | 2020-03-10 | Paper |
| Superposition for \(\lambda\)-free higher-order logic | 2018-10-18 | Paper |
| Superposition with structural induction | 2018-01-04 | Paper |
| Satisfiability modulo bounded checking | 2017-09-22 | Paper |
| Model Finding for Recursive Functions in SMT | 2016-09-05 | Paper |
| The Semantics of Datalog for the Evidential Tool Bus | 2014-03-25 | Paper |
| Detection of First Order Axiomatic Theories | 2013-09-20 | Paper |
Research outcomes over time
This page was built for person: Simon Cruanes
