ToyElim

swMATH9900MaRDI QIDQ21879FDOQ21879

Author name not available (Why is that?)

Cited In (2)

• Projection and scope-determined circumscription
• Abduction in Logic Programming as Second-Order Quantifier Elimination

This page was built for software: ToyElim