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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 136, Issue 1, 1994, Pages 21-56

Stable power domains

(1) Heckmann, Reinhold a

a SAARLAND UNIVERSITY (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; MATHEMATICAL MORPHOLOGY; SYSTEM STABILITY;

LOSSLESS POWER DOMAIN; SATURATED COMPACT SETS; STABLE PLOTKIN POWER CONSTRUCTION; STABLE POWER DOMAINS;

COMPUTER SCIENCE;

EID: 0028733007 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/0304-3975(93)00121-K Document Type: Article

Times cited : (14)

References (20)

1
- 85016912917
- Bifinite domains: Stable case
- D.H. Pitt, P.-L. Curien, S. Abramsky, A.M. Pitts, A. Poigné, D.E. Rydeheard, Springer, Berlin, Lecture Notes in Computer Science
- (1991) Category Theory and Computer Science , vol.530 , pp. 16-33
- Amadio¹

2
- 0003757180
- Categories, Types, and Structures
- MIT Press, Cambridge
- (1991) Foundations of Computing Series
- Asperti¹ Longo²

3
- 84912969735
- Stable models of typed lambda-calculi
- Springer, Berlin, Lecture Notes in Computer Science
- (1978) Proc. 5th Coll. on Automata, Languages, and Programming , vol.62 , pp. 72-89
- Berry¹

4
- 84913044329
- Oral presentations and private communications
- (1988) Lossless powerdomains
- Buneman¹

5
- 0004011095
- Springer, Berlin
- (1980) A Compendium of Continuous Lattices
- Gierz¹ Hofmann² Keimel³ Lawson⁴ Mislove⁵ Scott⁶

6
- 38249036646
- Universal profinite domains
- (1987) Inform. and Comput. , vol.72 , pp. 1-30
- Gunter¹

7
- 0038555977
- Power Domain Constructions
- Universität des Saarlandes
- (1990) Ph.D. Thesis
- Heckmann¹

8
- 34547707064
- Power domains supporting recursion and failure
- J.-C. Raoult, Springer, Berlin, Lecture Notes in Computer Science
- (1992) CAAP '92 , vol.581 , pp. 165-181
- Heckmann¹

9
- 84913063084
- Stable power domains
- (1992) Tech. Report 04/1992, SFB 124 - C1
- Heckmann¹

10
- 33746459760
- An upper power domain construction in terms of strongly compact sets
- S.D. Brookes, M. Main, A. Melton, M. Mislove, D. Schmidt, Springer, Berlin, Lecture Notes in Computer Science
- (1992) MFPS '91 , vol.598 , pp. 272-293
- Heckmann¹

11
- 84913021931
- Observable modules and power domain constructions
- M. Droste, Y. Gurevich, Gordon and Breach, OPA, Amsterdam, Algebra, Logic, and Applications
- (1993) Semantics of Programming Languages and Model Theory , vol.5 , pp. 159-187
- Heckmann¹

12
- 0027575864
- Power domains and second order predicates
- (1993) Theoret. Comput. Sci. , vol.111 , pp. 59-88
- Heckmann¹

13
- 85034261970
- Full abstraction for a simple parallel programming language
- J. Becvar, Springer, Berlin, Lecture Notes in Computer Science
- (1979) Foundations of Computer Science , vol.74 , pp. 108-120
- Hennessy¹ Plotkin²

14
- 84913059649
- L-domains and lossless powerdomains
- M.G. Main, A. Melton, M. Mislove, D. Schmidt, Springer, Berlin, Lecture Notes in Computer Science
- (1989) Mathematical Foundations of Programming Semantics (MFPS'89) , vol.442 , pp. 364-372
- Jagadeesan¹

15
- 0004247608
- Cartesian closed categories of domains
- FB Mathematik, Technische Hochschule Darmstadt
- (1988) Ph.D. Thesis
- Jung¹

16
- 84913037080
- A. Jung and S. Abramsky, Domain theory, in: S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Vol. III (Oxford Univ. Press, Oxford) to appear.

17
- 0003248906
- Introduction to Higher Order Categorical Logic
- Cambridge Univ. Press, Cambridge
- (1986) Cambridge Studies in Advanced Mathematics , vol.7
- Lambek¹ Scott²

18
- 0026188821
- Notions of computation and monads
- (1991) Inform. and Comput. , vol.93 , pp. 55-92
- Moggi¹

19
- 0000110250
- A powerdomain construction
- (1976) SIAM Journal on Computing , vol.5 , pp. 452-487
- Plotkin¹

20
- 0021011078
- Power domains and predicate transformers: a topological view
- J. Diaz, Springer, Berlin, Lecture Notes in Computer Science
- (1983) ICALP '83 , vol.154 , pp. 662-676
- Smyth¹

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