Original language | English |
---|---|
Title of host publication | Finite Model Theory and Its Applications |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 257-337 |
Number of pages | 81 |
ISBN (Electronic) | 978-3-540-68804-4 |
ISBN (Print) | 978-3-540-00428-8 |
DOIs | |
Publication status | Published - 2007 |
Publication series
Name | Texts in Theoretical Computer Science an EATCS Series |
---|---|
Publisher | Springer Berlin Heidelberg |
ISSN (Print) | 1862-4499 |