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

메뉴 건너뛰기

Journal of Pure and Applied Algebra

Volumn 168, Issue 2-3, 2002, Pages 227-264

Free μ-lattices

(1) Santocanale, Luigi a

a AARHUS UNIVERSITY (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037160897 PISSN: 00224049 EISSN: None Source Type: Journal
DOI: 10.1016/S0022-4049(01)00098-6 Document Type: Article

Times cited : (29)

References (47)

1
- 0002996223
- Games and full completeness for multiplicative linear logic
- (1994) J. Symbolic Logic , vol.59 , Issue.2 , pp. 543-574
- Abramsky, S.¹ Jagadeesan, R.²

2
- 85026751757
- Full abstraction for PCF
- Lecture Notes in Computer Science Springer, Berlin
- (1994) Theoretical Aspects of Computer Software , vol.789 , pp. 1-15
- Abramsky, S.¹ Jagadeesan, R.² Malacaria, P.³

3
- 0000003702
- An initial semantics for the μ-calculus on trees and Rabin's complementation lemma
- (1995) Theoret. Comput. Sci , vol.148 , Issue.1 , pp. 121-132
- Arnold, A.¹

4
- 0001618306
- A game semantics for linear logic
- (1992) Ann. Pure Appl. Logic , vol.56 , Issue.1-3 , pp. 183-220
- Blass, A.¹

5
- 0004205975
- Iteration Theories
- Springer, Berlin
- (1993)
- Bloom, S.L.¹ Ésik, Z.²

6
- 0003920539
- Verifying Temporal Properties of Systems
- Birkhäuser, Boston, MA
- (1992)
- Bradfield, J.C.¹

7
- 0003135879
- The modal mu-calculus alternation hierarchy is strict
- (1998) Theoret. Comput. Sci , vol.195 , Issue.2 , pp. 133-153
- Bradfield, J.C.¹

8
- 0004232004
- On Numbers and Games
- Academic Press, London, London Mathematical Society Monographs, No. 6
- (1976)
- Conway, J.H.¹

9
- 77957042973
- Loopy games
- (Advances in Graph Theory, Cambridge Combinatorial Conf., Trinity College, Cambridge, 1977.)
- (1978) Ann. Discrete Math , vol.3 , pp. 55-74
- Conway, J.H.¹

10
- 0026368952
- Tree automata, μ-calculus and determinacy
- (1991) Proceedings of the FOCS , vol.91
- Emerson, E.A.¹ Jutla, C.S.²

11
- 0000179678
- Dialogues as a foundation for intuitionistic logic
- D. Gabbay, F. Guenther (Eds.), Reidel, Dordrecht
- (1986) Handbook of Philosophical Logic , vol.3 , pp. 341-372
- Felscher, W.¹

12
- 0008361007
- Free Lattices, American Mathematical Society, Providence, RI
- (1995)
- Freese, R.¹ Jež ek, J.B.² Nation, J.B.³

13
- 0023171371
- Linear logic
- (1987) Theoret. Comput. Sci , vol.50 , Issue.1 , pp. 101
- Girard, J.-Y.¹

14
- 0008398127
- On the meaning of logical rules I/II, Manuscripts
- (1998)
- Girard, J.-Y.¹

15
- 85051501338
- Trees, automata, and games
- (1982) Proceedings of the 14th ACM Symposium on the Theory of Computation , pp. 60-65
- Gurevich, Y.¹ Harrington, L.²

16
- 0002720042
- On the non-existence of free complete Boolean algebras
- (1964) Fund. Math , vol.54 , pp. 45-66
- Hales, A.W.¹

17
- 0008310390
- Coherence completions of categories
- (1999) Theoret. Comput. Sci , vol.227 , Issue.1-2 , pp. 153-184
- Hu, H.¹ Joyal, A.²

18
- 0008395855
- On full abstraction for PCF: I, II and III
- to appear
- (1994) Information and Computation
- Hyland, J.M.E.¹ Ong, C.-H.L.²

19
- 0001049929
- Free bicomplete categories
- (1995) C. R. Math. Rep. Acad. Sci. Can , vol.17 , Issue.5 , pp. 219-224
- Joyal, A.¹

20
- 0001049929
- Free bicompletion of enriched categories
- (1995) C. R. Math. Rep. Acad. Sci. Can , vol.17 , Issue.5 , pp. 213-218
- Joyal, A.¹

21
- 0008310029
- Free lattices, communication, and money games
- Firenze
- (1995) Proceedings of the 10th International Congress of Logic, Methodology, and Philosophy of Science
- Joyal, A.¹

22
- 0008310030
- Remarques sur la théorie des jeux á deux personnes
- (1977) La Gazette Des Sciences Mathématiques Du Québec , vol.1 , Issue.4
- Joyal, A.¹

23
- 49049126479
- Results on the propositional μ-calculus
- (1983) Theoret. Comput. Sci , vol.27 , Issue.3 , pp. 333-354
- Kozen, D.¹

24
- 0001063647
- A fixpoint theorem for complete categories
- (1968) Math. Z , vol.103 , pp. 151-161
- Lambek, J.¹

25
- 0003532186
- Introduction to Higher Order Categorical Logic
- Cambridge University Press, Cambridge
- (1986)
- Lambek, J.¹ Scott, P.J.²

26
- 84947755850
- A hierarchy theorem for the μ-calculus
- Lecture Notes in Computer Science Springer, Berlin 1099
- (1996) Automata, Languages and Programming , pp. 87-97
- Lenzi, G.¹

27
- 0346295610
- Partially ordered sets
- (1937) Trans. AMS , vol.42 , pp. 416-460
- MacNeille, H.¹

28
- 0008307207
- Algebras, Lattices, Varieties, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA
- (1987)
- McKenzie, R.¹ McNulty, G.F.² Taylor, W.F.³

29
- 38249000493
- Infinite games played on finite graphs
- (1993) Ann. Pure. Appl. Logic , vol.65 , Issue.2 , pp. 149-184
- McNaughton, R.¹

30
- 0003630836
- A Calculus of Communicating Systems
- Springer, Berlin
- (1980)
- Milner, R.¹

31
- 0001773095
- Concurrent programs as strategies in games
- Berkeley, CA, 1989, Springer, New York
- (1992) Logic from Computer Science , pp. 405-479
- Nerode, A.¹ Yakhnis, A.² Yakhnis, V.³

32
- 84974659188
- Equational μ-calculus
- (Zaborów, Lecture Notes in Computer Science Springer, Berlin
- (1985) Computation Theory , vol.208 , pp. 169-176
- Niwiński, D.¹

33
- 0346678020
- Fixed point characterization of infinite behavior of finite-state systems
- (1997) Theoret. Comput. Sci , vol.189 , Issue.1-2 , pp. 1-69
- Niwiński, D.¹

34
- 0030215120
- Games for the μ-calculus
- (1996) Theoret. Comput. Sci , vol.163 , Issue.1-2 , pp. 99-116
- Niwiński, D.¹ Walukiewicz, I.²

35
- 0019650923
- A decidable μ-calculus
- 22nd Annual IEEE Symposium on Foundations of Computer Science, Nashville, TN
- (1981) , pp. 421-427
- Pratt, V.¹

36
- 84968501436
- Decidability of second order theories and automata on infinite trees
- (1969) Trans. AMS , vol.141 , pp. 1-35
- Rabin, M.O.¹

37
- 4444285121
- On functors expressible in the polymorphic typed lambda calculus
- (1993) Inform. Comput , vol.105 , Issue.1 , pp. 1-29
- Reynolds, J.C.¹ Plotkin, G.D.²

38
- 0004017207
- Sur les μ-treillis libres
- Ph.D. Thesis, Université du Québec à Montréal, July
- (2000)
- Santocanale, L.¹

39
- 0001132880
- Local model checking in the modal mu-calculus
- (1991) Theoret. Comput. Sci , vol.89 , Issue.1 , pp. 161-177
- Stirling, C.¹ Walker, D.²

40
- 84972541021
- A lattice-theoretical fixpoint theorem and its applications
- (1955) Pacific J. Math , vol.5 , pp. 285-309
- Tarski, A.¹

41
- 0001568609
- Languages, automata, and logic
- G. Rozenberg, A. Salomaa (Eds.), Springer, Berlin
- (1997) Handbook of Formal Languages , vol.3 , pp. 389-455
- Thomas, W.¹

42
- 84884079276
- Theory of Games and Economic Behavior
- Princeton University Press, Princeton, NJ
- (1944)
- von Neumann, J.¹ Morgenstern, O.²

43
- 0029191989
- Completeness of Kozen's axiomatizations of the propositional μ-calculus
- (1995) Proceedings of the 10th IEEE Symposium on Logic in Computer Science
- Walukiewicz, I.¹

44
- 0004517938
- Pushdown processes: Games and model checking
- Technical Report RS-96-54, BRICS, December
- (1996)
- Walukiewicz, I.¹

45
- 0001503079
- Free lattices
- (1941) Ann. Math , vol.42 , Issue.2 , pp. 325-330
- Whitman, P.M.¹

46
- 0000744677
- Free lattices, II
- (1942) Ann. Math , vol.43 , Issue.2 , pp. 104-115
- Whitman, P.M.¹

47
- 0000647754
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- (1998) Theoret. Comput. Sci , vol.200 , Issue.1-2 , pp. 135-183
- Zielonka, W.¹

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