SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Symbolic Computation

Volumn 8, Issue 3, 1989, Pages 277-295

Temporal logic programming

(2) Abadi, Martín a Manna, Zohar a

a STANFORD UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957375575 PISSN: 07477171 EISSN: None Source Type: Journal
DOI: 10.1016/S0747-7171(89)80070-7 Document Type: Article

Times cited : (114)

References (26)

1
- 0005857679
- Temporal-Logic Theorem Proving
- Computer Science Department, Stanford University.
- (1987) PhD. Thesis
- Abadi, M.¹

2
- 85035124131
- Nonclausal temporal deduction
- R. Parikh, Springer-Verlag LNCS
- (1985) Logics of Programs , vol.193 , pp. 1-15
- Abadi, M.¹ Manna, Z.²

3
- 0022985596
- A timely resolution
- (1986) Symposium on Logic in Computer Science , pp. 176-186
- Abadi, M.¹ Manna, Z.²

4
- 0023561592
- Temporal logic programming
- (1987) Fourth Symposium on Logic Programming , pp. 4-16
- Abadi, M.¹ Manna, Z.²

5
- 84918627097
- L.S.I.-Université Paul Sabatier, Toulouse, February 1986
- (1986) MOLOG: Manuel d'utilisation
- Arthaud, R.¹ Bieber, P.² Fariñas del Cerro, L.³ Henry, J.⁴ Herzig, A.⁵

6
- 0003763496
- Academic Press, London
- (1985) LUCID, the Dataflow Programming Language
- Ashcroft, E.¹ Wadge, W.²

7
- 0024860212
- Temporal logic programming is complete and expressive
- Austin TX
- (1989) Symp. Principles of Programming Languages
- Baudinet, M.¹

8
- 84976681323
- On an algebra for historical relational databases: two views
- (1985) ACM SIGMOD Record , pp. 247-265
- Clifford, J.¹ Tanzel, A.U.²

9
- 0004280480
- Springer-Verlag, Berlin
- (1981) Programming in PROLOG
- Clocksin, W.¹ Mellish, C.²

10
- 0039414416
- Prentice Hall, Englewood Cliffs, NJ
- (1986) Logic Programming: Functions, Relations, and Equations
- DeGroot, D.¹ Lindstrom, G.²

11
- 85025507618
- Issues in caching PROLOG goals
- Computer Science Division (EECS), University of California at Berkeley, November 1984
- (1984) Report No. UCB-CSD-84-204
- Fagin, B.¹

12
- 0002425508
- TOKIO: logic programming language based on temporal logic and its compilation to PROLOG
- (1986) Third International Conference on Logic Programming
- Fujita, M.¹ Kono, S.² Tanake, H.³ Moto-oka, T.⁴

13
- 0002642843
- unpublished draft
- (1987) Modal and temporal logic programming
- Gabbay, D.¹

14
- 84976696673
- Weak temporal relations
- (1986) ACM-Sigmod Conference on the Principles of Database Systems , pp. 70-77
- Gadia, S.¹

15
- 85025506738
- RACCO: a modal-logic programming language for writing models of real-time process-control systems
- December, Research Institute for Mathematical Sciences, Kyoto University
- (1986) Report No. RIMS-558
- Hattori, T.¹ Nakajima, R.² Sakuragawa, T.³ Niide, N.⁴ Takenaka, K.⁵

16
- 35048849683
- Unpublished manuscript
- (1985) A logic-based calculus of events
- Kowalski, R.¹ Sergot, M.²

17
- 84976663837
- Specifying concurrent program modules
- April 1983
- (1983) ACM Transactions on Programming Languages and Systems , vol.5 , pp. 190-222
- Lamport, L.¹

18
- 0003453263
- Springer-Verlag, Berlin
- (1983) Foundations of Logic Programming
- Lloyd, J.W.¹

19
- 0003806443
- Executing Temporal Logic Programs
- August, Computer Laboratory, University of Cambridge
- (1984) Technical Report No. 55
- Moszkowski, B.¹

20
- 85025498197
- unpublished manuscript, Computer Science Department, Stanford University
- (1984) The ELEPHANT Language for proving and maybe even programming
- McCarthy, J.¹

21
- 0039414416
- D. DeGroot, G. Lindstrom, Prentice-Hall, Englewood Cliffs, NJ
- (1986) Logic Programming: Functions, Relations, and Equations , pp. 365-394
- Malachi, Y.¹ Manna, Z.² Waldinger, R.³

22
- 49149133038
- The temporal semantics of concurrent programs
- (1981) Theoretical Computer Science , vol.13 , pp. 45-60
- Pnueli, A.¹

23
- 84976680603
- A taxonomy of time in databases
- (1985) ACM SIGMOD Record , pp. 236-246
- Snodgrass, R.¹ Ahn, I.²

24
- 85025511579
- Temporal prolog
- In press, Springer-Verlag LNCS
- (1989) RIMS Conference on Software Science and Engineering
- Sakuragawa, T.¹

25
- 84910876326
- Unpublished manuscript
- (1985) Tense logic programming: a sane alternative
- Wadge, W.¹

26
- 85025515025
- Extension tables: memo relations in logic programming
- Computer Science Department, SUNY at Stony Brook
- (1986) Technical Report 86/18
- Wagner-Dietrich, S.¹ Warren, D.S.²

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