Metamathematical fundamental concepts of computer programming

MaRDI QIDQ3428749zbMATH OpenFDO

Authors Valéria Novitzka, B. Novitzky

Publication date 29 March 2007

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) General theory of categories and functors (18A99) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4049008
• scientific article; zbMATH DE number 3938525
• Proving and programming
• scientific article; zbMATH DE number 4084979
• scientific article; zbMATH DE number 3911699

Cited in

(8)

• On the relationship between foundations of programming and mathematics
• scientific article; zbMATH DE number 3890767 (Why is no real title available?)
• On the interpretation of mathematical entities in the formalisation of programming and modelling languages
• scientific article; zbMATH DE number 3938525 (Why is no real title available?)
• scientific article; zbMATH DE number 4049008 (Why is no real title available?)
• Mathematical programming: Turing completeness and applications to software analysis
• scientific article; zbMATH DE number 877755 (Why is no real title available?)
• Automated Deduction – CADE-19

This page was built for publication: Metamathematical fundamental concepts of computer programming

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