1994/01/01 by Hanno Nickau · 4 citations
Computer Science · Mathematics · #Abstraction #Algebra over a field #Artificial intelligence #Class (philosophy) #Computability #Computability, Logic, AI Algorithms #Computation #Computer science #Denotational semantics #Game semantics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Model of computation #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Theoretical computer science
paper · doi:10.1007/3-540-58140-5_25
crossref issued 1994/01/01 · crossref published 1994/01/01 · crossref published-print 1994/01/01 · openalex publication_date 1994/01/01 · crossref published-online 2005/06/07 · crossref created 2012/02/26 · crossref deposited 2020/11/17 · openalex created_date 2025/10/10 · crossref indexed 2025/11/27 · openalex updated_date 2026/07/29