From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing

DOI10.1007/978-3-319-15545-6_3zbMATH Open1453.68004OpenAlexW70984852MaRDI QIDQ5256334FDOQ5256334

Authors: Wolfgang Hesse 

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_3

Recommendations

• A homage to Martin Wirsing
• The Formal System of Dijkstra and Scholten
• scientific article; zbMATH DE number 194510
• Abstract constraint data types
• Contribution of Warsaw logicians to computational logic

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) History of mathematical logic and foundations (03-03)

Cited In (3)

• Personal memories
• Richard Milton Martin: American logician
• A homage to Martin Wirsing

This page was built for publication: From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing

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