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.68004MaRDI 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

01A70: Biographies, obituaries, personalia, bibliographies

03-03: History of mathematical logic and foundations

68-03: History of computer science