1997/12/01 by William McCune, William Mccune · 4 citations
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1023/a:1005843212881
crossref issued 1997/12/01 · crossref published 1997/12/01 · crossref published-print 1997/12/01 · openalex publication_date 1997/12/01 · crossref created 2002/12/21 · openalex created_date 2016/06/24 · crossref deposited 2025/06/05 · crossref indexed 2026/04/14 · openalex updated_date 2026/07/29