scientific article; zbMATH DE number 1220163
From MaRDI portal
Publication:4219291
zbMath0911.68002MaRDI QIDQ4219291
Publication date: 8 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Parallel algorithms in computer science (68W10) Analytic circuit theory (94C05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items
Finite Variable Logics in Descriptive Complexity Theory, A catalog of Boolean concepts., A second-order system for polytime reasoning based on Grädel's theorem., A Story of Hilbert’s Tenth Problem, On leaf permutative theories and occurrence permutation groups, An explicit solution to Post's problem over the reals, A deterministic algorithm for testing the equivalence of read-once branching programs with small discrepancy, On the complexity of deduction modulo leaf permutative equations, String shuffle: circuits and graphs, $$P\mathop{ =}\limits^{?}NP$$