The following pages link to (Q4131648):
Displayed 50 items.
- 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)
- On the complexity of formulas in semantic programming (Q1615728) (← links)
- Computing observers from observation policies in discrete-event systems (Q1628789) (← links)
- Spanning the spectrum from safety to liveness (Q1629750) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Problems on finite automata and the exponential time hypothesis (Q1662614) (← links)
- Circuit satisfiability and constraint satisfaction around Skolem arithmetic (Q1676359) (← links)
- Transducer descriptions of DNA code properties and undecidability of antimorphic problems (Q1706156) (← links)
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic (Q1711514) (← links)
- An extension-based approach to belief revision in abstract argumentation (Q1726407) (← links)
- Model checking temporal properties of reaction systems (Q1749193) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- Domino-tiling games (Q1822501) (← links)
- The complexity of the word problems for commutative semigroups and polynomial ideals (Q1836661) (← links)
- On the computational complexity of assumption-based argumentation for default reasoning. (Q1852857) (← links)
- Fair simulation (Q1854506) (← links)
- The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic (Q1855229) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- The complexity of first-order and monadic second-order logic revisited (Q1886318) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- On termination and invariance for faulty channel machines (Q1941874) (← links)
- The complexity of problems for quantified constraints (Q1959381) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- Expansive automata networks (Q2003992) (← links)
- Verifying polymer reaction networks using bisimulation (Q2003997) (← links)
- Complexity of universality and related problems for partially ordered NFAs (Q2013561) (← links)
- A formal methods approach to predicting new features of the eukaryotic vesicle traffic system (Q2022307) (← links)
- The robustness of LWPP and WPP, with an application to graph reconstruction (Q2027204) (← links)
- From decidability to undecidability by considering regular sets of instances (Q2062120) (← links)
- Comparing the notions of opacity for discrete-event systems (Q2063098) (← links)
- On verification of D-detectability for discrete event systems (Q2065231) (← links)