SCOPUS 정보 검색 플랫폼

Volumn 2, Issue 4, 1985, Pages 295-312

A kripke-kleene semantics for logic programs*

a NONE (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC DESIGN;

KRIPKE-KLEENE SEMANTICS; LOGIC PROGRAMS;

COMPUTER PROGRAMMING;

EID: 0022180593 PISSN: 07431066 EISSN: None Source Type: Journal
DOI: 10.1016/S0743-1066(85)80005-4 Document Type: Article

Times cited : (413)

References (14)

1
- 84976837285
- Contributions to the Theory of Logic Programming
- (1982) Journal of the ACM , vol.29 , pp. 841-862
- Apt, K.R.¹ Van Emden, M.H.²

2
- 0020150554
- The Recursion-Theoretic Complexity of the Semantics of Predicate Logic as a Programming Language
- (1982) Inform. and Control , vol.54 , pp. 25-47
- Blair, H.¹

3
- 0000826543
- Negation as failure
- H. Gallaire, J. Minker, Plenum, Amsterdam
- (1978) Logic and Data Bases , pp. 293-322
- Clark, K.L.¹

4
- 84982560988
- Elementary Formal Systems for Hyperarithmetical Relations
- (1978) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.24 , pp. 25-30
- Fitting, M.¹

6
- 85025506801
- Fitting, M., Notes on the Mathematical Aspects of Kripke's Theory of Truth, Notre Dame J. Formal Logic, to appear.

7
- 0004210235
- Van Nostrand, Amsterdam
- (1952) Introduction To Metamathematics
- Kleene, S.C.¹

8
- 0000235860
- Outline of a Theory of Truth
- (1975) The Journal of Philosophy , vol.72 , pp. 690-716
- Kripke, S.¹

9
- 0009343867
- The Theoretical Aspect of the Optimal Fixed Point
- (1976) SIAM Journal on Computing , vol.5 , pp. 414-426
- Manna, Z.¹ Shamir, A.²

10
- 84976729292
- The optimal approach to recursive programs
- (1977) Communications of the ACM , vol.20 , pp. 824-831
- Manna, Z.¹ Shamir, A.²

11
- 85025482692
- Mycroft, A., Logic Programs and Many-Valued Logic, in: M. Fontet and K. Mehlhorn (eds.), STACS 84, Symposium of Theoretical Aspects of Computer Science, Proceedings Springer Lecture Notes in Computer Science, 166, pp. 274–286.

12
- 0003601643
- revised edition, Princeton U.P., New York
- (1961) Theory of Formal Systems
- Smullyan, R.M.¹

14
- 84972541021
- A lattice-theoretical fixpoint theorem and its applications
- (1955) Pacific Journal of Mathematics , vol.5 , pp. 285-309
- Tarski, A.¹

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