1989/06/01 by Erich Grädel · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Arithmetic #Class (philosophy) #Combinatorics #Complexity class #Computability, Logic, AI Algorithms #Computer science #Decidability #Discrete mathematics #Mathematics #Natural number #Presburger arithmetic #Simple (philosophy) #Time complexity #semigroups and automata theory
paper · pdf · doi:10.1016/0168-0072(89)90023-7
crossref issued 1989/06/01 · crossref published 1989/06/01 · crossref published-print 1989/06/01 · openalex publication_date 1989/06/01 · crossref created 2002/07/26 · crossref deposited 2019/04/13 · crossref indexed 2025/10/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/02