Andreas Teucke

Available identifiers

zbMath Open teucke.andreasMaRDI QIDQ2180213

List of research outcomes

Publication	Date of Publication	Type
On the expressivity and applicability of model representation formalisms	2020-05-13	Paper
SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment	2020-03-03	Paper
Decidability of the monadic shallow linear first-order fragment with straight dismatching constraints	2017-09-22	Paper
First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation	2017-02-27	Paper

Research outcomes over time

This page was built for person: Andreas Teucke