Logic and language models for computer science

DOI10.1142/10687MaRDI QIDQ4593771zbMATH OpenOpenAlexFDO

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

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

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
• Mathematical Logic for Computer Science
• scientific article; zbMATH DE number 5568108 (Why is no real title available?)
• scientific article; zbMATH DE number 18657 (Why is no real title available?)
• scientific article; zbMATH DE number 4118342 (Why is no real title available?)
• Mathematik für die Informatik
• Equivalent language models that closely simulate one another and their illustration in terms ofLsystems
• Logic and Language Models for Computer Science

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)