Original language | English |
---|---|
Publisher | s.n. |
Number of pages | 48 |
Publication status | Published - 2008 |
Publication series
Name | arXiv.org [cs.LO] |
---|---|
Volume | 0803.0014 |
P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann
Research output: Book/Report › Report › Academic
Original language | English |
---|---|
Publisher | s.n. |
Number of pages | 48 |
Publication status | Published - 2008 |
Name | arXiv.org [cs.LO] |
---|---|
Volume | 0803.0014 |