Model theory makes formulas large
Anuj Dawar‚ Martin Grohe‚ Stephan Kreutzer and Nicole Schweikardt
Details
| Book Title |
International Colloquium on Automata‚ Languages and Programming (ICALP) |
| Pages |
913−924 |
| Series |
Lecture Notes in Computer Science |
| Volume |
4596 |
| Year |
2007 |
Links
Related pages
|
People |