anthem

swMATH30423MaRDI QIDQ42137FDOQ42137

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1810.00453

Cited In (10)

• Verifying Tight Logic Programs with anthem and vampire
• Gringo
• Potassco
• aspcud
• IDP
• asprilo
• DLPEQ
• lpeq
• Modular answer set programming as a formal specification language
• Verifying strong equivalence of programs in the input language of \textsc{gringo}

This page was built for software: anthem