Pages that link to "Item:Q1157324"
From MaRDI portal
The following pages link to Complexity results for classes of quantificational formulas (Q1157324):
Displayed 27 items.
- Testable and untestable classes of first-order formulae (Q440006) (← links)
- The most nonelementary theory (Q598194) (← links)
- The complexity of the satisfiability problem for Krom formulas (Q800915) (← links)
- On the complexity of the two-variable guarded fragment with transitive guards (Q859827) (← links)
- Satisfiability of formulae with one \(\forall\) is decidable in exponential time (Q915716) (← links)
- 0-1 laws and decision problems for fragments of second-order logic (Q920075) (← links)
- Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
- Complete problems in the first-order predicate calculus (Q1075318) (← links)
- Average case completeness (Q1176231) (← links)
- Set constraints in some equational theories (Q1271568) (← links)
- On computational complexity of Prolog programs (Q1311967) (← links)
- Problem solving by searching for models with a theorem prover (Q1337680) (← links)
- Relational transducers for electronic commerce (Q1591155) (← links)
- Tarskian set constraints (Q1854523) (← links)
- The guarded fragment with transitive guards (Q1877098) (← links)
- On logics with two variables (Q1960419) (← links)
- Efficiently solving quantified bit-vector formulas (Q2441770) (← links)
- Symbolic backward reachability with effectively propositional logic. Application to security policy analysis (Q2441771) (← links)
- First-order logic with two variables and unary temporal logic (Q2506493) (← links)
- Sufficient-completeness, ground-reducibility and their complexity (Q2641108) (← links)
- XML Schema Mappings (Q3189647) (← links)
- Random models and the Gödel case of the decision problem (Q3317081) (← links)
- Deciding Effectively Propositional Logic Using DPLL and Substitution Sets (Q3541720) (← links)
- Universal quantifiers and time complexity of random access machines (Q3699679) (← links)
- Classifying the computational complexity of problems (Q3781088) (← links)
- On the Decision Problem for Two-Variable First-Order Logic (Q4338040) (← links)
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (Q4443408) (← links)