CTL-RP

swMATH25264MaRDI QIDQ37006FDOQ37006

Author name not available (Why is that?)

Described by source

• CTL-RP: A computation tree logic resolution prover

Cited In (4)

• First-Order Resolution Methods for Modal Logics
• Satisfiability games for branching-time logics
• Theorem proving using clausal resolution: from past to present
• A resolution calculus for the branching-time temporal logic CTL

This page was built for software: CTL-RP