2004/01/23 by Mayer Goldberg · 2 citations
Computer Science · Mathematics · #Algorithm #Computer science #Constant (computer programming) #Discrete mathematics #Formal Methods in Verification #Functional programming #Lisp #Logic, programming, and type systems #Mathematics #Numerical Methods and Algorithms #Point (geometry) #Programming language #Reduction (mathematics) #Schema (genetic algorithms) #Scheme (mathematics) #Theoretical computer science
paper · doi:10.1016/j.ipl.2003.12.005
openalex publication_date 2004/01/23 · crossref created 2004/01/23 · crossref issued 2004/03/01 · crossref published 2004/03/01 · crossref published-print 2004/03/01 · crossref deposited 2019/02/15 · crossref indexed 2023/01/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/23