Nonclausal temporal deduction

This publication has 8 references indexed in Scilit:

• A method of automatic proof for the specification and verification of protocols
  Published by Association for Computing Machinery (ACM) ,1984
• A Decision Method for Linear Temporal Logic
  Published by Springer Nature ,1984
• Completely non-clausal theorem proving
  Artificial Intelligence, 1982
• Temporal logic can be more expressive
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• A Deductive Approach to Program Synthesis
  ACM Transactions on Programming Languages and Systems, 1980
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965