T. Eiter, G. Gottlob, and T. Schwentick. Second-order logic over strings: Regular and nonregular fragments. Developments in Language Theory, pages 37--56, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Regular Vacuity - Doron Bustan Alon (Correct)
No context found.
T. Eiter, G. Gottlob, and T. Schwentick. Second-order logic over strings: Regular and nonregular fragments. Developments in Language Theory, pages 37--56, 2001.
An Attempt to Automate NP-Hardness Reductions via SO∃ Logic - Nijjar (2004) (Correct)
No context found.
Thomas Eiter, Georg Gottlob, and Thomas Schwentick. Second-order logic over strings: Regular and non-regular fragments. In Proceedings of Developments in Language Theory 5th International Conference (DLT 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC