Logic and Language Models for Computer Science
From MaRDI portal
Publication:5881590
DOI10.1142/12974OpenAlexW1975044351MaRDI QIDQ5881590
Henry Hamburger, D. S. Richards
Publication date: 10 March 2023
Full work available at URL: https://doi.org/10.1142/12974
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Logic programming (68N17)
This page was built for publication: Logic and Language Models for Computer Science
