Technical, Research Report @TechReport Technischer-, Forschungsbericht |
|
Author, Editor |
|
Title, Institution |
|
No, Year, pp., |
|
Note, Abstract, © |
|
Correlation |
MPG Unit: | Max-Planck-Institut für Informatik |
MPG Subunit: | Programming Logics Group |
Audience: | experts only |
Appearance: | MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat |
Editor(s) Christoph Weidenbach | Created 01/18/1999 12:47:22 PM | |
Revisions 2. 1. 0. | Editor(s) Uwe Brahm Christoph Weidenbach Christoph Weidenbach | Edit Dates 20.01.99 17:22:46 20/01/99 12:51:43 20/01/99 12:51:43 |