2013/02/18 by Sebastian Enqvist · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1007/s11787-013-0078-9
openalex publication_date 2013/02/18 · crossref created 2013/02/18 · crossref issued 2013/02/19 · crossref published 2013/02/19 · crossref published-online 2013/02/19 · crossref published-print 2013/06/01 · crossref deposited 2019/07/09 · crossref indexed 2025/09/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29