1966/06/01 by J. D. Halpern · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, programming, and type systems
paper · pdf · doi:10.2307/2035388
openalex publication_date 1966/06/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/03/11