2000/12/01 by Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria · 1 citation
Computer Science · #Abstraction #Computer science #Epistemology #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Philosophy
paper · doi:10.1006/inco.2000.2930
crossref issued 2000/12/01 · crossref published 2000/12/01 · crossref published-print 2000/12/01 · openalex publication_date 2000/12/01 · crossref created 2002/09/17 · crossref deposited 2019/05/08 · openalex created_date 2025/10/10 · crossref indexed 2026/06/19 · openalex updated_date 2026/08/04