scientific article; zbMATH DE number 1361527

zbMATH Open0978.03028MaRDI QIDQ4699345FDOQ4699345

Authors: Paulo A. S. Veloso 

Publication date: 10 November 1999

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 49669
• Symbioses between mathematical logic and computer science
• scientific article; zbMATH DE number 47007
• scientific article; zbMATH DE number 1926652
• scientific article; zbMATH DE number 1342354
• scientific article
• scientific article; zbMATH DE number 793951
• scientific article; zbMATH DE number 1342343
• scientific article; zbMATH DE number 53085

zbMATH Keywords

logical specificationsfork algebrashistorical overviewcalculus for program development

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• On fork arrow logic and its expressive power
• From universal logic to computer science, and back
• 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)