Matthias Horbach

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 combination of the Bernays-Schönfinkel-Ramsey fragment with simple linear integer arithmetic (available as arXiv preprint)	2017-09-22	Paper
Decidability of verification of safety properties of spatial families of linear hybrid automata Frontiers of Combining Systems	2017-02-27	Paper
Superposition for fixed domains ACM Transactions on Computational Logic	2015-09-17	Paper
Locality transfer: from constrained axiomatizations to reachability predicates Automated Reasoning	2014-09-26	Paper
Obtaining Finite Local Theory Axiomatizations via Saturation Frontiers of Combining Systems	2013-09-20	Paper
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants Automated Reasoning and Mathematics	2013-04-16	Paper
System description: SPASS-FD Lecture Notes in Computer Science	2011-07-29	Paper
Predicate Completion for non-Horn Clause Sets Lecture Notes in Computer Science	2011-07-29	Paper
Disunification for ultimately periodic interpretations Logic for Programming, Artificial Intelligence, and Reasoning	2011-01-07	Paper
Deciding the Inductive Validity of ∀ ∃ * Queries Computer Science Logic	2009-11-12	Paper
Decidability Results for Saturation-Based Model Building Automated Deduction – CADE-22	2009-07-28	Paper
Superposition for Fixed Domains Computer Science Logic	2008-11-20	Paper

Research outcomes over time

This page was built for person: Matthias Horbach