2025/01/01 by Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey · 1 voice
Computer Science · #Advanced Algebra and Logic #Formal Methods in Verification #semigroups and automata theory
paper · doi:10.1007/978-3-031-95973-8_8
crossref issued 2025/01/01 · crossref published 2025/01/01 · crossref published-print 2025/01/01 · openalex publication_date 2025/01/01 · crossref created 2025/06/28 · crossref published-online 2025/06/29 · openalex created_date 2025/10/10 · crossref deposited 2026/07/16 · crossref indexed 2026/07/16 · openalex updated_date 2026/07/29