2008/10/23 by Ruy J. G. B. de Queiroz · 4 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #semigroups and automata theory
paper · doi:10.1007/s11225-008-9150-5
openalex publication_date 2008/10/23 · crossref created 2008/10/23 · crossref issued 2008/10/24 · crossref published 2008/10/24 · crossref published-online 2008/10/24 · crossref published-print 2008/11/01 · crossref deposited 2024/03/01 · openalex created_date 2025/10/10 · crossref indexed 2026/04/14 · openalex updated_date 2026/07/29