1985/06/01 by Richard Zippel · 2 citations
Computer Science · #Advanced Algebra and Logic #Formal Methods in Verification #Logic, programming, and type systems
paper · pdf · doi:10.1016/s0747-7171(85)80014-6
crossref issued 1985/06/01 · crossref published 1985/06/01 · crossref published-print 1985/06/01 · openalex publication_date 1985/06/01 · crossref created 2008/03/29 · crossref deposited 2019/05/09 · openalex created_date 2025/10/10 · crossref indexed 2026/04/07 · openalex updated_date 2026/08/02