Skip to content
cs-conference-ranking.org

Negation as Failure for First-Order Queries.

Shamim A. Naqvi

VenueA*PODS
Year1986
ProceedingsPODS
DBLP recordconf/pods/Naqvi86 ↗

Browse the full PODS paper archive.