CLProver

swMATH39245MaRDI QIDQ54945FDOQ54945

Author name not available (Why is that?)

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

Described by source

• A resolution prover for coalition logic

Cited In (5)

• CoLoSS
• TATL
• Cool
• PGSolver
• Ordered resolution for coalition logic

This page was built for software: CLProver