Pure and Applied Fixed−Point Logics
Stephan Kreutzer
Details
| Book 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
Related pages
|
People |