CTL-RP

MaRDI QIDQ37006swMATHFDO

Official website https://content.iospress.com/articles/ai-communications/aic463

Described by source

• CTL-RP: A computation tree logic resolution prover

Cited in

(7)

• TSPASS
• TeMP
• TRP++
• Theorem proving using clausal resolution: from past to present
• Satisfiability games for branching-time logics
• First-order resolution methods for modal logics
• A resolution calculus for the branching-time temporal logic CTL

This page was built for software: CTL-RP