1958/08/01 by Anil Nerode, A. Nerode · 7 citations
Computer Science · Mathematics · #Automaton #Büchi automaton #Computer science #Deterministic automaton #Logic, programming, and type systems #Mathematics #Polynomial and algebraic computation #Theoretical computer science #semigroups and automata theory
paper · doi:10.1090/s0002-9939-1958-0135681-9
crossref issued 1958/08/01 · crossref published 1958/08/01 · crossref published-print 1958/08/01 · openalex publication_date 1958/08/01 · crossref created 2010/06/30 · openalex created_date 2025/10/10 · crossref deposited 2026/04/05 · crossref indexed 2026/07/13 · openalex updated_date 2026/07/14