scientific article; zbMATH DE number 1361527

zbMATH Open0978.03028MaRDI QIDQ4699345FDOQ4699345

Paulo A. S. Veloso

Publication date: 10 November 1999

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

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 (3)

• Title not available (Why is that?)
• On fork arrow logic and its expressive power
• Personal Reflections on the Role of Mathematical Logic in Computer Science

   Recommendations

• Title not available (Why is that?) 👍 👎
• Symbioses between mathematical logic and computer science 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)