CTL-RP

swMATH25264MaRDI QIDQ37006FDOQ37006

Author name not available (Why is that?)

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

Described by source

• CTL-RP: A computation tree logic resolution prover

Cited In (7)

• Satisfiability games for branching-time logics
• TSPASS
• TeMP
• TRP++
• First-order resolution methods for modal 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