|
|
Pure and Applied Fixed-Point Logics
Stephan Kreutzer infobook title | Ausgezeichnete Informatik Dissertationen 2003 |
editor | D. Wagner et al. |
note | in german |
publisher | German Informatics Society (GI) |
series | Lecture Notes in Informatics - Dissertations |
volume | D-3 |
year | 2003 |
links
BibTeX
related pages
|
|
|
|
