Skip to content

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages

Serge Abiteboul, Victor Vianu

VenueA*LICS
Year1989
ProceedingsLICS

Browse the full LICS paper archive.