1997/04/01 by Bob Flagg, Ralph Kopperman · 2 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1016/s0304-3975(97)00236-3
crossref issued 1997/04/01 · crossref published 1997/04/01 · crossref published-print 1997/04/01 · openalex publication_date 1997/04/01 · crossref created 2003/04/23 · crossref deposited 2019/04/29 · openalex created_date 2025/10/10 · crossref indexed 2026/03/03 · openalex updated_date 2026/07/23