2001/01/01 by Peter W. O’Hearn, Peter O’Hearn, John Reynolds +1 · 3 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1007/3-540-44802-0_1
crossref issued 2001/01/01 · crossref published 2001/01/01 · crossref published-print 2001/01/01 · openalex publication_date 2001/01/01 · crossref published-online 2001/08/30 · crossref created 2007/06/01 · crossref deposited 2019/04/28 · openalex created_date 2025/10/10 · crossref indexed 2026/07/29 · openalex updated_date 2026/07/29