Abstract
Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and ...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have