메뉴 건너뛰기




Volumn 1104, Issue , 1996, Pages 673-687

Search strategies for resolution in temporal logics

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; MACHINERY; TEMPORAL LOGIC;

EID: 84957714518     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_121     Document Type: Conference Paper
Times cited : (18)

References (20)
  • 1
    • 0025419613 scopus 로고
    • 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
  • 4
    • 0041305420 scopus 로고
    • 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 scopus 로고
    • 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
  • 14
    • 0000366742 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 19
  • 20
    • 0000427127 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.