Logic and Language Models for Computer Science

DOI10.1142/10687zbMath1400.68004OpenAlexW4250626428MaRDI QIDQ4593771

Henry Hamburger, D. S. Richards

Publication date: 23 November 2017

Full work available at URL: https://doi.org/10.1142/10687

Mathematics Subject Classification ID

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)

Related Items (2)

Mathematical Logic for Computer Science ⋮ Equivalent language models that closely simulate one another and their illustration in terms ofLsystems

This page was built for publication: Logic and Language Models for Computer Science