1985/11/01 by Vladimir Lifschitz · 3 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1016/0004-3702(85)90055-4
crossref issued 1985/11/01 · crossref published 1985/11/01 · crossref published-print 1985/11/01 · openalex publication_date 1985/11/01 · crossref created 2003/03/14 · crossref deposited 2019/03/26 · crossref indexed 2025/06/06 · openalex created_date 2025/10/10 · openalex updated_date 2025/11/06