Logic and language models for computer science

DOI10.1142/10687zbMATH Open1400.68004OpenAlexW4250626428MaRDI QIDQ4593771FDOQ4593771

Authors: Henry Hamburger, Dana Richards 

Publication date: 23 November 2017

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

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

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)

Cited In (8)

• Title not available (Why is that?)
• Mathematik für die Informatik
• Title not available (Why is that?)
• Equivalent language models that closely simulate one another and their illustration in terms ofLsystems
• Title not available (Why is that?)
• Computable models of the law. Languages, dialogues, games, ontologies
• Mathematical Logic for Computer Science
• 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)