scientific article; zbMATH DE number 1302020
From MaRDI portal
Publication:4247261
Cited in
(24)- Descriptive complexity of finite abelian groups
- A logical characterization of small 2NFAs
- Characterizing polynomial Ramsey quantifiers
- An infinite hierarchy of temporal logics over branching time
- Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits
- Voting by eliminating quantifiers
- An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers
- Epsilon-logic is more expressive than first-order logic over finite structures
- Parameterized Complexity Classes under Logical Reductions
- Book review of: E. Grädel, P. Kolaitis, L. Libkin, M. Marx, I. Spencer, M. Vardi, Y. Venema, S. Weinstein, Finite model theory and its applications
- Knowledge representation analysis of graph mining
- Hardness of equivalence checking for composed finite-state systems
- Number of variables is equivalent to space
- Approximate databases: a support tool for approximate reasoning
- Generic incremental algorithms for local search
- Capturing the polynomial hierarchy by second-order revised Krom logic
- \(\mathrm P \overset {?} {=} \mathrm{NP}\)
- Annotation theories over finite graphs
- COMPLEXITY, INFORMATION, ENERGY
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
- The probability nesting game
- On the space and circuit complexity of parameterized problems: classes and completeness
- Formal descriptions of code properties: decidability, complexity, implementation
- \(\mathrm{SO}^F\): a semantic restriction over second-order logic and its polynomial-time hierarchy
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247261)
