Skip to content

Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract).

Leopoldo E. Bertossi

VenueA*KR
Year2021
ProceedingsSOQE@KR

Browse the full KR paper archive.