„Decidable Fragments“
Suchergebnisse
10 Treffer
-
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
-
On Homogeneous Models of Fluted Languages
-
Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk)
-
On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics
-
Querying the Unary Negation Fragment with Regular Path Expressions
-
Conservative Extensions in Guarded and Two-Variable Fragments
-
Binding Forms in First-Order Logic
-
Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)
-
Decidable $${\exists }^*{\forall }^*$$ ∃ ∗ ∀ ∗ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates
-
Decidable fragments of simultaneous rigid reachability