Logic and language models for computer science

DOI10.1142/10687MaRDI QIDQ4593771zbMATHOpenAlexFDO

Authors Henry Hamburger, Dana Richards

Publication date 23 November 2017

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 1729953
• Logic(s), formal languages and complexity for computer science
• scientific article; zbMATH DE number 1001667
• scientific article; zbMATH DE number 194975
• Introducing the theory of computation

Cited in

(8)

• Computable models of the law. Languages, dialogues, games, ontologies
• Logic and Language Models for Computer Science
• scientific article; zbMATH DE number 18657 (Why is no real title available?)
• Mathematical Logic for Computer Science
• scientific article; zbMATH DE number 4118342 (Why is no real title available?)
• Mathematik für die Informatik
• scientific article; zbMATH DE number 5568108 (Why is no real title available?)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593771)