The following pages link to Matthias Horbach (Q2405241):
Displayed 12 items.
- On the combination of the Bernays-Schönfinkel-Ramsey fragment with simple linear integer arithmetic (Q2405242) (← links)
- Obtaining Finite Local Theory Axiomatizations via Saturation (Q2849490) (← links)
- Superposition for fixed domains (Q2946615) (← links)
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
- Disunification for Ultimately Periodic Interpretations (Q3066105) (← links)
- Locality Transfer: From Constrained Axiomatizations to Reachability Predicates (Q3192190) (← links)
- Superposition for Fixed Domains (Q3540186) (← links)
- Deciding the Inductive Validity of ∀ ∃ * Queries (Q3644758) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- Decidability Results for Saturation-Based Model Building (Q5191116) (← links)
- Predicate Completion for non-Horn Clause Sets (Q5200033) (← links)
- System Description: SPASS-FD (Q5200034) (← links)