1977/01/01 by A. S. Troelstra · 2 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1016/s0049-237x(08)71127-3
crossref issued 1977/01/01 · crossref published 1977/01/01 · crossref published-print 1977/01/01 · openalex publication_date 1977/01/01 · crossref created 2009/01/02 · crossref deposited 2025/09/24 · openalex created_date 2025/10/10 · crossref indexed 2026/06/13 · openalex updated_date 2026/07/29