Mathematical Foundations of Advanced Informatics

DOI10.1007/978-3-319-68397-3MaRDI QIDQ4643768zbMATH OpenOpenAlexFDO

Authors Bernhard Steffen, Oliver Rüthing, Michael Huth

Publication date 28 May 2018

Full work available at URL https://doi.org/10.1007/978-3-319-68397-3

zbMATH Keywords

logic for computer scienceproofs by inductionset theory for computer science

Mathematics Subject Classification ID

Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• scientific article; zbMATH DE number 49151
• Mathematical logic. Foundations for information science
• Mathematical logic. Foundations for information science
• scientific article; zbMATH DE number 1069898
• Theoretical informatics. An extensive introduction
• Publication:4938158
• Foundations of higher computer science. Inductive approach
• scientific article; zbMATH DE number 2109415
• The mathematical foundation of informatics. Proceedings of the conference, Hanoi, Vietnam, October 25--28, 1999

Cited in

(5)

• The mathematical foundation of informatics. Proceedings of the conference, Hanoi, Vietnam, October 25--28, 1999
• Foundations of higher computer science. Inductive approach
• scientific article; zbMATH DE number 49151 (Why is no real title available?)
• scientific article; zbMATH DE number 716832 (Why is no real title available?)
• Mathematical foundations of information sciences

Describes a project that uses

Uses Software

• Haskell
• Scala
• Isabelle/HOL

This page was built for publication: Mathematical Foundations of Advanced Informatics

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