Andreas Teucke
From MaRDI portal
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 |
|---|---|---|
| On the expressivity and applicability of model representation formalisms (available as arXiv preprint) | 2020-05-13 | Paper |
| SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment Journal of Automated Reasoning | 2020-03-03 | Paper |
| Decidability of the monadic shallow linear first-order fragment with straight dismatching constraints (available as arXiv preprint) | 2017-09-22 | Paper |
| First-order logic theorem proving and model building via approximation and instantiation Frontiers of Combining Systems | 2017-02-27 | Paper |
Research outcomes over time
This page was built for person: Andreas Teucke
