scientific article; zbMATH DE number 1361527

MaRDI QIDQ4699345zbMATH OpenFDO

Authors Paulo A. S. Veloso

Publication date 10 November 1999

zbMATH Keywords

calculus for program developmentfork algebrashistorical overviewlogical specifications

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15) History of computer science (68-03) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 49669
• Symbioses between mathematical logic and computer science
• scientific article; zbMATH DE number 47007
• Logicism and the development of computer science
• From logic to theoretical computer science
• scientific article; zbMATH DE number 5526845
• scientific article; zbMATH DE number 793951
• From logic to computer science and back
• scientific article; zbMATH DE number 53085

Cited in

(4)

• On fork arrow logic and its expressive power
• From universal logic to computer science, and back
• Logicism and the development of computer science
• Personal Reflections on the Role of Mathematical Logic in Computer Science

This page was built for publication:

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