Skip to main content

Model theory makes formulas large

Anuj Dawar‚ Martin Grohe‚ Stephan Kreutzer and Nicole Schweikardt

Book Title
International Colloquium on Automata‚ Languages and Programming (ICALP)
Pages
913−924
Series
Lecture Notes in Computer Science
Volume
4596
Year
2007