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

Presburgerness of predicates regular in two number systems

1977/03/01 by A. L. Semenov · 3 citations
Computer Science · #Advanced Algebra and Logic #Logic, programming, and type systems #semigroups and automata theory

paper · doi:10.1007/bf00967164

crossref issued 1977/03/01 · crossref published 1977/03/01 · crossref published-print 1977/03/01 · openalex publication_date 1977/03/01 · crossref created 2005/01/08 · openalex created_date 2025/10/10 · crossref deposited 2026/04/05 · openalex updated_date 2026/07/29 · crossref indexed 2026/07/29

Cited by