SCOPUS 정보 검색 플랫폼

Volumn 3, Issue C, 1996, Pages 138-152

Encoding Transition Systems in Sequent Calculus: Preliminary Report

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTER SIMULATION; FORMAL LOGIC; LOGIC PROGRAMMING; SEMANTICS;

BISIMULATION; ENCODING TRANSITION SYSTEMS; LINEAR LOGIC; OPERATIONAL SEMANTICS;

ENCODING (SYMBOLS);

EID: 19144362853 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(05)80412-8 Document Type: Article

Times cited : (6)

References (10)

1
- 0012710663
- GCLA: a definitional approach to logic programming
- (1990) New Generation Computing , vol.4 , pp. 381-404
- Aronsson¹ Eriksson² Gäredal³ Halnäs⁴ Olin⁵

2
- 0003180840
- A formulation of the simple theory of types
- (1940) The Journal of Symbolic Logic , vol.5 , pp. 56-68
- Church¹

3
- 84916559722
- Vijay Gehlot and Carl Gunter. Normal process representatives. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, pages 200–207, Philadelphia, Pennsylvania, June 1990. IEEE Computer Society Press.

4
- 0023171371
- Linear logic
- (1987) Theoretical Computer Science , vol.50 , pp. 1-102
- Jean-Yves Girard¹

5
- 84916559721
- Jean-Yves Girard. A fixpoint theorem in linear logic. A message posted on the linear@cs.stanford.edu mailing listing, http://www.csl.sri.com/linear/mailing-list-traffic/www/07/mail_3.html, February 1992.

6
- 0001279959
- A proof-theoretic approach to logic programming ii Programs as definitions
- (1991) Journal of Logic and Computation , pp. 635-660
- Hallnäs¹ Schroeder-Heister²

7
- 84916559720
- Dale Miller. The π-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the 1992 Workshop on Extensions to Logic Programming, number 660 in LNCS, pages 242-265. Springer-Verlag, 1993.

8
- 19144371156
- Communication and Concurrency
- (1989) Prentice-Hall International
- Milner¹

9
- 0027242775
- Rules of definitional reflection
- M. Vardi, IEEE
- (1993) Eighth Annual Symposium on Logic in Computer Science , pp. 222-232
- Schroeder-Heister¹

10
- 0012750118
- A complete axiomatization of the three-valued completion of logic programs
- (1991) Journal of Logic and Computation , vol.1 , Issue.6 , pp. 811-834
- Robert Stärk¹

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