2011/11/05 by Karel Chvalovský · 3 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1016/j.fss.2011.10.018
openalex publication_date 2011/11/05 · crossref created 2011/11/05 · crossref issued 2012/06/01 · crossref published 2012/06/01 · crossref published-print 2012/06/01 · crossref deposited 2018/11/28 · crossref indexed 2024/07/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01