A decision method for temporal logic based on resolution
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 272-289
- https://doi.org/10.1007/3-540-16042-6_15
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A Decision Method for Linear Temporal LogicPublished by Springer Nature ,1984
- Temporal logic can be more expressiveInformation and Control, 1983
- The complexity of propositional linear temporal logicsPublished by Association for Computing Machinery (ACM) ,1982
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965