1969/01/01 by E. J. Lemmon, C. A. Meredith, David Meredith +4 · 1 citation
Computer Science · #Logic, programming, and type systems
paper · doi:10.1007/978-94-010-9614-0_17
crossref issued 1969/01/01 · crossref published 1969/01/01 · crossref published-print 1969/01/01 · openalex publication_date 1969/01/01 · crossref created 2012/04/04 · crossref deposited 2020/12/04 · crossref indexed 2025/06/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04