| Original language | German (Austria) |
|---|---|
| Publication status | Published - Nov 2011 |
Fields of science
- 102011 Formal languages
- 102 Computer Sciences
- 101 Mathematics
JKU Focus areas
- Computation in Informatics and Mathematics
Proc. 1st Intl. Workshop on Design and Implementation of Formal Tools and Systems (DIFTS'11)
Armin Biere (Editor), M. Ganai (Editor)
Research output: Book › Anthology