1976/03/01 by Brian Wichmann, B. A. Wichmann · 3 citations
Computer Science · #Embedded Systems Design Techniques #Logic, programming, and type systems #Parallel Computing and Optimization Techniques
paper · doi:10.1007/bf01940783
crossref issued 1976/03/01 · crossref published 1976/03/01 · crossref published-print 1976/03/01 · openalex publication_date 1976/03/01 · crossref created 2005/07/31 · crossref deposited 2019/05/13 · crossref indexed 2025/09/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/23