Second−Order Logic over Strings: Regular and Non−regular Fragments
Thomas Eiter‚ Georg Gottlob and Thomas Schwentick
Details
| Book Title |
Developments in Language Theory‚ 5th International Conference‚ DLT 2001‚ Vienna‚ Austria‚ July 16−21‚ 2001‚ Revised Papers |
| Editor |
Werner Kuich and Grzegorz Rozenberg and Arto Salomaa |
| ISBN |
3−540−43453−4 |
| Pages |
37−56 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2295 |
| Year |
2001 |
Links
Related pages
|
People |