Pages that link to "Item:Q5464722"
From MaRDI portal
The following pages link to Advances in Databases and Information Systems (Q5464722):
Displaying 6 items.
- An incremental algorithm for DLO quantifier elimination via constraint propagation (Q814643) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Negative Boolean constraints (Q1350538) (← links)
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100) (← links)
- The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier (Q3708787) (← links)