Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases

Add code
Aug 20, 2021
Figure 1 for Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: