SCOPUS 정보 검색 플랫폼

Volumn 139, Issue 3-4, 2001, Pages 253-273

Characterizing determinacy in Kleene algebras

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING;

KLEENE ALGEBRAS;

SEMANTICS;

EID: 0035577676 PISSN: 00200255 EISSN: None Source Type: Journal
DOI: 10.1016/S0020-0255(01)00168-2 Document Type: Conference Paper

Times cited : (22)

References (14)

1
- 4243949119
- Eindhoven University of Technology, Department of Mathematics and Computer Science, July
- (1992) Galois connections presented calculationally
- Aarts, C.J.¹

2
- 84971179960
- Demonic operators and monotype factors
- Also: Computing Science Note 92/11 (Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands, 1992)
- (1993) Math. Struct. Comput. Sci. , vol.3 , Issue.4 , pp. 417-433
- Backhouse, R.C.¹ Van der Woude, J.²

3
- 38249003964
- A representation theorem for quantales
- (1993) J. Pure Appl. Algebra , vol.85 , pp. 27-42
- Brown, C.¹ Gurr, D.²

4
- 0003459275
- Chapman and Hall, London
- (1971) Regular Algebra and Finite Machines
- Conway, J.H.¹

5
- 84974697692
- Kleene under a demonic star
- T. Rus (Ed.), Proceedings AMAST 2000, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1816 , pp. 355-370
- Desharnais, J.¹ Möller, B.² Tchier, F.³

7
- 0006791414
- Ph.D. Thesis, Eindhoven University of Technology, The Netherlands
- (1996) Reductivity arguments and program construction
- Doornbos, H.¹

8
- 0031141317
- Kleene algebras with tests
- (1997) ACM Trans. Prog. Lang. Syst. , vol.19 , pp. 427-443
- Kozen, D.¹

9
- 0001655921
- The representation of integral relation algebras
- (1970) Michigan Math. J. , vol.17 , pp. 279-287
- McKenzie, R.¹

10
- 0009036319
- Derivation of graph and pointer algorithms
- B. Möller, H.A. Partsch, S.A. Schuman (Eds.), Formal Program Development, Springer, Berlin
- (1993) Lecture Notes in Computer Science , pp. 123-160
- Möller, B.¹

11
- 0027643668
- Towards pointer algebra
- (1993) Sci. Comput. Progr. , vol.21 , pp. 57-90
- Möller, B.¹

12
- 0006820814
- Research Report 1999-8
- (1999) Typed Kleene algebras
- Möller, B.¹

13
- 0004064779
- Cambridge University Press, Cambridge
- (1994) First Steps in Modal Logic
- Popkorn, S.¹

14
- 0006857561
- Relations and graphs
- Springer, Berlin
- (1993) EATCS Monographs in Computer Science
- Schmidt, G.¹ Ströhlein, T.²

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