Skip to main content

Existential Second−Order Logic over Strings

Thomas Eiter‚ Georg Gottlob and Yuri Gurevich

Book Title
LICS
Pages
16−27
Year
1998