On the relationship between foundations of programming and mathematics

DOI10.1023/A:1012746417053MaRDI QIDQ1403202zbMATH OpenOpenAlexFDO

Authors S. S. Lavrov

Publication date 1 September 2003

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1012746417053

zbMATH Keywords

formalization

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 4193096
• Metamathematical fundamental concepts of computer programming
• scientific article; zbMATH DE number 3859117
• scientific article; zbMATH DE number 3938525
• scientific article; zbMATH DE number 4049008

Cited in

(1)

• scientific article; zbMATH DE number 4193139 (Why is no real title available?)

This page was built for publication: On the relationship between foundations of programming and mathematics

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