vix.ing · top · new · best · stats · spec

Complexity results for classes of quantificational formulas

1980/12/01 by Harry R. Lewis · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Computability, Logic, AI Algorithms #DNA and Biological Computing #semigroups and automata theory

paper · pdf · doi:10.1016/0022-0000(80)90027-6

crossref issued 1980/12/01 · crossref published 1980/12/01 · crossref published-print 1980/12/01 · openalex publication_date 1980/12/01 · crossref created 2003/12/04 · crossref deposited 2019/02/16 · openalex created_date 2025/10/10 · crossref indexed 2026/03/29 · openalex updated_date 2026/08/01

Citations

Cited by