ToyElim

swMATH9900MaRDI QIDQ21879FDOQ21879

Author name not available (Why is that?)

Official website: http://www.wv.inf.tu-dresden.de/~wernhard/toyelim/

Cited In (2)

• Abduction in logic programming as second-order quantifier elimination
• Projection and scope-determined circumscription

This page was built for software: ToyElim