Second−Order Logic over Strings: Regular and Non−regular Fragments
Thomas Eiter‚ Georg Gottlob and Thomas Schwentick
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