From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing

DOI10.1007/978-3-319-15545-6_3zbMath1453.68004OpenAlexW70984852MaRDI QIDQ5256334

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

Mathematics Subject Classification ID

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

This page was built for publication: From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing