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 (1)

• Ordered resolution for coalition logic

This page was built for software: CLProver