<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-01-07 05:03:38Theoretical computer science Models of computation Symbol First-order logic Physical quantity KeY Lambda calculus Dynamical system Constructible universe Logic Mathematical logic Model theory |
|
AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS