A Program Calculus for Dynamical Systems | Institute for Logic, Language and Computation

About the ILLC
News and Events
- ILLC News & Events
- Submit News Item
- News
- Events
- Archives
  - 2023
  - 2022
  - 2021
  - 2020
  - 2019
  - 2018
  - 2017
  - 2016
  - 2015
  - 2014
  - 2013
  - 2012
  - 2011
  - 2010
  - 2009
  - 2008
  - 2007
  - 2006
  - 2005
  - 2004
  - 2003
  - 2002
  - 2001
  - 2000
Research
Education
People
Media
- Blog
- ILLC People in the Media
  - 2023
  - 2022
  - 2021
  - 2020
  - 2019
  - 2018
  - 2017
  - 2016
  - 2015
  - 2014
  - 2013
  - 2012
  - 2011
  - 2010
  - 2009
  - 2008
  - 2007
- ILLC Magazine
- ILLC Open Day
  - ILLC Open Day 2019
Contact
- Contact
- Directions
Search

Institute for Logic, Language and Computation

ILLC UvA

Main Page Navigation

About the ILLC
News and Events
Research
Education
People
Media
Contact
- - Contact
  - Directions

Master of Logic (MoL) Series

Home

Research Output

Preprints and Other Reports

Master of Logic (MoL) Series

A Program Calculus for Dynamical Systems

Preprints and Other Reports
Prepublication (PP) Series
Technical Notes (X) Series
Master of Logic (MoL) Series
Mathematical Logic and Foundations (ML) Series (1988-1998)
Logic, Philosophy and Linguistics (LP) Series (1988-1998)
Computation and Complexity Theory (CT) Series (1988-1998)
Computational Linguistics (CL) Series (1988-1993)
Instituut voor Taal, Logika en Informatie (ITLI) Series (1986-1987)

MoL-2023-09:: Weigert Patrick A Program Calculus for Dynamical Systems
1.Full Text, 2.Abstract.

Back

Copyright ILLC/UvA 2023 Privacy policy