ToyElim

MaRDI QIDQ21879swMATHFDO

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