zbMath0947.03044MaRDI QIDQ4941896
No author found.
Publication date: 7 November 2000
zbMATH Keywords
clausal resolution; \(\text{CTL}^*\) logic; proof techniques for branching-time temporal logics
Mathematics Subject Classification ID
03B70: Logic in computer science
03B44: Temporal logic
Related Items