2012/10/19 by Takahiro Seki
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1007/s11225-012-9458-z
openalex publication_date 2012/10/19 · crossref created 2012/10/19 · crossref issued 2012/10/20 · crossref published 2012/10/20 · crossref published-online 2012/10/20 · crossref published-print 2012/12/01 · crossref deposited 2024/04/30 · openalex created_date 2025/10/10 · crossref indexed 2026/07/28 · openalex updated_date 2026/07/29