| Zappe, Julia (2005): Towards a Mobile Temporal Logic of Actions. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics |
Preview |
PDF
Zappe_Julia.pdf 660kB |
DOI: 10.5282/edoc.5203
| Item Type: | Theses (Dissertation, LMU Munich) |
|---|---|
| Subjects: | 500 Natural sciences and mathematics > 510 Mathematics 500 Natural sciences and mathematics |
| Faculties: | Faculty of Mathematics, Computer Science and Statistics |
| Language: | English |
| Date of oral examination: | 22. September 2005 |
| 1. Referee: | Kröger, Fred |
| MD5 Checksum of the PDF-file: | cccf993a4d8c42a3f10d8adf9d9c7205 |
| Signature of the printed copy: | 0001/UMC 15315 |
| ID Code: | 5203 |
| Deposited On: | 08. May 2006 |
| Last Modified: | 24. Oct 2020 09:35 |
Repository Staff Only: item control page
