-
1
-
-
0025419613
-
Nonclausal Deduction in First-Order Temporal Logic
-
April [AM90]
-
[AM90] M. Abadi and Z. Manna. Nonclausal Deduction in First-Order Temporal Logic. ACM Journal, 37(2):279-317, April 1990.
-
(1990)
ACM Journal
, vol.37
, Issue.2
, pp. 279-317
-
-
Abadi, M.1
Manna, Z.2
-
2
-
-
84976651772
-
A Decision Method for Linear Temporal Logic
-
R. E. Shostak, editor, Springer-Verlag, [CdC84]
-
[CdC84] A. Cavalli and L. Farinas del Cerro. A Decision Method for Linear Temporal Logic. In R. E. Shostak, editor, Proceedings of the 7th International Conference on Automated Deduction, volume 170 of Lecture Notes in Computer Science, pages 113-127. Springer-Verlag, 1984.
-
(1984)
Proceedings of the 7th International Conference on Automated Deduction, volume 170 of Lecture Notes in Computer Science
, pp. 113-127
-
-
Cavalli, A.1
Farinas del Cerro, L.2
-
3
-
-
84957685563
-
A Graph-Based Approach to Resolution in Temporal Logic
-
Bonn, Germany, July Springer-Verlag. [DFB94]
-
[DFB94] C. Dixon, M. Fisher, and H. Barringer. A Graph-Based Approach to Resolution in Temporal Logic. In Temporal Logic, First International Conference, ICTL '94, Proceedings, volume 827 of Lecture Notes in Artificial Intelligence, Bonn, Germany, July 1994. Springer-Verlag.
-
(1994)
Temporal Logic, First International Conference, ICTL '94, Proceedings, volume 827 of Lecture Notes in Artificial Intelligence
-
-
Dixon, C.1
Fisher, M.2
Barringer, H.3
-
4
-
-
0041305420
-
-
PhD thesis, Department of Computer Science, University of Manchester, [Dix95]
-
[Dix95] C. Dixon. Strategies for Temporal Resolution. PhD thesis, Department of Computer Science, University of Manchester, 1995.
-
(1995)
Strategies for Temporal Resolution
-
-
Dixon, C.1
-
8
-
-
0011017623
-
-
Master's thesis, Department of Computer Science, University of Manchester, October Also University of Manchester, Department of Computer Science, Technical Report UMCS-89-10-1. [Gou84]
-
[Gou84] G. D. Gough. Decision Procedures for Temporal Logic. Master's thesis, Department of Computer Science, University of Manchester, October 1984. Also University of Manchester, Department of Computer Science, Technical Report UMCS-89-10-1.
-
(1984)
Decision Procedures for Temporal Logic
-
-
Gough, G.D.1
-
9
-
-
0019112115
-
The Temporal Analysis of Fairness
-
Las Vegas, Nevada, January [GPSS80]
-
[GPSS80] D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. The Temporal Analysis of Fairness. In Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages, pages 163-173, Las Vegas, Nevada, January 1980.
-
(1980)
Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages
, pp. 163-173
-
-
Gabbay, D.1
Pnueli, A.2
Shelah, S.3
Stavi, J.4
-
14
-
-
0000366742
-
Myths about the Mutual Exclusion Problem
-
[Pet81]
-
[Pet81] G. L. Peterson. Myths about the Mutual Exclusion Problem. Information Processing Letters, 12(3): 115-116, 1981.
-
(1981)
Information Processing Letters
, vol.12
, Issue.3
, pp. 115-116
-
-
Peterson, G.L.1
-
15
-
-
0038357007
-
In Transition From Global to Modular Temporal Reasoning about Programs
-
Krysztof Apt, editor, La Colle-sur-Loup, France, October NATO, Springer-Verlag. [Pnu84]
-
[Pnu84] A. Pnueli. In Transition From Global to Modular Temporal Reasoning about Programs. In Krysztof Apt, editor, Logics and Models of Concurrent Systems, pages 123-144, La Colle-sur-Loup, France, October 1984. NATO, Springer-Verlag.
-
(1984)
Logics and Models of Concurrent Systems
, pp. 123-144
-
-
Pnueli, A.1
-
16
-
-
84918983692
-
A Machine-Oriented Logic Based on the Resolution Principle
-
January [Rob65]
-
[Rob65] J. A. Robinson. A Machine-Oriented Logic Based on the Resolution Principle. ACM Journal, 12(1):23-41, January 1965.
-
(1965)
ACM Journal
, vol.12
, Issue.1
, pp. 23-41
-
-
Robinson, J.A.1
-
17
-
-
0022092438
-
Complexity of Propositional Lineax Temporal Logics
-
July [SC85]
-
[SC85] A. P. Sistla and E. M. Clarke. Complexity of Propositional Lineax Temporal Logics. ACM Journal, 32(3):733-749, July 1985.
-
(1985)
ACM Journal
, vol.32
, Issue.3
, pp. 733-749
-
-
Sistla, A.P.1
Clarke, E.M.2
-
18
-
-
85034811871
-
A Decision Method for Temporal Logic based on Resolution
-
[Ven86]
-
[Ven86] G. Venkatesh. A Decision Method for Temporal Logic based on Resolution. Lecture Notes in Computer Science, 206:272-289, 1986.
-
(1986)
Lecture Notes in Computer Science
, vol.206
, pp. 272-289
-
-
Venkatesh, G.1
-
20
-
-
0000427127
-
The Tableau Method for Temporal Logic: An overview
-
June-Sept [Wol85]
-
[Wol85] P. Wolper. The Tableau Method for Temporal Logic: An overview. Logique et Analyse, 110-111:119-136, June-Sept 1985.
-
(1985)
Logique et Analyse
, vol.110-111
, pp. 119-136
-
-
Wolper, P.1
|