Skip to content

Existential Second-Order Logic over Strings.

Thomas Eiter, Georg Gottlob, Yuri Gurevich

VenueA*LICS
Year1998
ProceedingsLICS

Browse the full LICS paper archive.