Model theory makes formulas large
Anuj Dawar, Martin Grohe, Stephan Kreutzer and Nicole Schweikardt infobook title | International Colloquium on Automata, Languages and Programming (ICALP) |
pages | 913-924 |
series | Lecture Notes in Computer Science |
volume | 4596 |
year | 2007 |
links
BibTeX
related pages
|
