Matthias Horbach

Available identifiers

zbMath Open horbach.matthiasMaRDI QIDQ2405241

List of research outcomes

Publication	Date of Publication	Type
On the combination of the Bernays-Schönfinkel-Ramsey fragment with simple linear integer arithmetic	2017-09-22	Paper
Decidability of verification of safety properties of spatial families of linear hybrid automata	2017-02-27	Paper
Superposition for fixed domains	2015-09-17	Paper
Locality transfer: from constrained axiomatizations to reachability predicates	2014-09-26	Paper
Obtaining Finite Local Theory Axiomatizations via Saturation	2013-09-20	Paper
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants	2013-04-16	Paper
System description: SPASS-FD	2011-07-29	Paper
Predicate Completion for non-Horn Clause Sets	2011-07-29	Paper
Disunification for ultimately periodic interpretations	2011-01-07	Paper
Deciding the Inductive Validity of ∀ ∃ * Queries	2009-11-12	Paper
Decidability Results for Saturation-Based Model Building	2009-07-28	Paper
Superposition for Fixed Domains	2008-11-20	Paper

Research outcomes over time

This page was built for person: Matthias Horbach