The following pages link to (Q4131648):
Displayed 50 items.
- Hex ist Pspace-vollständig. (Hex is Pspace-complete) (Q1138494) (← links)
- Tree-size bounded alternation (Q1145502) (← links)
- Observations on the complexity of regular expression problems (Q1149249) (← links)
- Optimization problems and the polynomial hierarchy (Q1152218) (← links)
- Complexity of algorithms and computations (Q1153141) (← links)
- On time-space classes and their relation to the theory of real addition (Q1155607) (← links)
- Playing disjunctive sums is polynomial space complete (Q1159098) (← links)
- The complexity of logical theories (Q1159661) (← links)
- The complexity of computing the number of strings of given length in context-free languages (Q1178713) (← links)
- A note on the space complexity of some decision problems for finite automata (Q1183428) (← links)
- The correlation between the complexities of the nonhierarchical and hierarchical versions of graph problems (Q1185244) (← links)
- The parallel complexity of finite-state automata problems (Q1186807) (← links)
- Computational complexity of winning strategies in two-person polynomial games (Q1190954) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Generalizations of Opt P to the polynomial hierarchy (Q1193867) (← links)
- Some aspects of effectively constructive mathematics that are relevant to the foundations of neoclassical mathematical economics and the theory of games (Q1196208) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- On tape-bounded complexity classes and multihead finite automata (Q1215271) (← links)
- Space-bounded reducibility among combinatorial problems (Q1221749) (← links)
- A comparison of polynomial time reducibilities (Q1223166) (← links)
- Polynomial and abstract subrecursive classes (Q1227276) (← links)
- On the equivalence, containment, and covering problems for the regular and context-free languages (Q1229100) (← links)
- A characterization of the power of vector machines (Q1232182) (← links)
- The covering problem for linear context-free grammars (Q1232301) (← links)
- Complete problems for deterministic polynomial time (Q1235982) (← links)
- The polynomial-time hierarchy (Q1236109) (← links)
- Complexity of some problems in Petri nets (Q1238999) (← links)
- Complete sets and the polynomial-time hierarchy (Q1241440) (← links)
- Log space machines with multiple oracle tapes (Q1242686) (← links)
- On the complexity of some two-person perfect-information games (Q1248466) (← links)
- On log-tape isomorphisms of complete sets (Q1249940) (← links)
- A linear-time algorithm for testing the truth of certain quantified Boolean formulas (Q1254112) (← links)
- Gobang is PSPACE-complete (Q1255445) (← links)
- Propositional dynamic logic of regular programs (Q1258296) (← links)
- Bounding queries in the analytic polynomial-time hierarchy (Q1274987) (← links)
- Sentences over integral domains and their computational complexities (Q1286369) (← links)
- The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics (Q1329742) (← links)
- Separation of complexity classes in Koiran's weak model (Q1338212) (← links)
- The complexity of PDL with interleaving (Q1351943) (← links)
- Complexity of equivalence problems for concurrent systems of finite agents (Q1383143) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Well-abstracted transition systems: Application to FIFO automata. (Q1401924) (← links)
- Fast algorithms for revision of some special propositional knowledge bases (Q1415946) (← links)
- Some connections between bounded query classes and non-uniform complexity. (Q1426008) (← links)
- A complexity analysis of bisimilarity for value-passing processes (Q1575255) (← links)
- Efficient implementation of regular languages using reversed alternating finite automata (Q1575901) (← links)
- Complexity-theoretic models of phase transitions in search problems (Q1583531) (← links)
- Implementing automata. Selected papers from the 2nd international workshop, WIA '97, Univ. of Western Ontario, London, Ontario, Canada, September 18--20, 1997 (Q1586200) (← links)
- Decision algorithms for multiplayer noncooperative games of incomplete information (Q1609052) (← links)
- The presence of a zero in an integer linear recurrent sequence is NP-hard to decide (Q1611897) (← links)