Logic and Language Models for Computer Science

DOI10.1142/12974MaRDI QIDQ5881590zbMATH OpenOpenAlexFDO

Authors Henry Hamburger, Dana Richards

Publication date 10 March 2023

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

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

• Logic and language models for computer science
• Logic, language and computation
• scientific article; zbMATH DE number 4118342
• scientific article; zbMATH DE number 1104358
• scientific article; zbMATH DE number 1749205
• Logic(s), formal languages and complexity for computer science
• scientific article; zbMATH DE number 18657
• Languages of logic and their applications
• scientific article; zbMATH DE number 5568108
• A logic for natural language

Cited in

(6)

• Computable models of the law. Languages, dialogues, games, ontologies
• 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?)
• scientific article; zbMATH DE number 814830 (Why is no real title available?)
• Mathematics in Computing

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 Q5881590)