Skip to content

Deciding Definability in FO

Thomas Place, Luc Segoufin

VenueA*LICS
Year2010
ProceedingsLICS

Browse the full LICS paper archive.