CTL-RP
From MaRDI portal
Software:37006
No author found.
Related Items (4)
Theorem proving using clausal resolution: from past to present ⋮ A resolution calculus for the branching-time temporal logic CTL ⋮ First-Order Resolution Methods for Modal Logics ⋮ Satisfiability Games for Branching-Time Logics
This page was built for software: CTL-RP
