Matthias Horbach

Identifiers

• name variant Matthias Horbach 0.60 · backfill

Papers (4)

1. On the Combination of the Bernays-Sch\"onfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic cs.LO · 2017 · author #1
2. The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable cs.LO · 2017 · author #1
3. Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata cs.LO · 2016 · author #2
4. Superposition for Fixed Domains cs.AI · 2008 · author #1

Mentions

• 0809.0922 #1 · backfill · confidence 0.70 Matthias Horbach

Frequent Coauthors

• Christoph Weidenbach 3 shared papers
• Marco Voigt 2 shared papers
• Viorica Sofronie-Stokkermans 1 shared papers
• Werner Damm 1 shared papers