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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 255, Issue 1-2, 2001, Pages 223-261

Locally finite languages

(1) Finkel, Olivier a

a INSTITUT DE MATHÉMATIQUES DE JUSSIEU (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; FINITE AUTOMATA; THEOREM PROVING;

LOCALLY FINITE LANGUAGES;

FORMAL LANGUAGES;

EID: 0034910957 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(99)00286-8 Document Type: Article

Times cited : (10)

References (40)

1
- 0028413052
- A theory of timed automata
- (1994) Theoret. Comput. Sci. , vol.126 , pp. 183-235
- Alur, R.¹ Dill, D.L.²

2
- 0003237210
- Context free languages and pushdown automata
- Springer, Berlin
- (1996) Handbook of Formal Languages , vol.1
- Autebert, J.-M.¹ Berstel, J.² Boasson, L.³

3
- 0030109673
- Finite automata and ordinals
- (1996) Theoret. Comput. Sci. , vol.156 , pp. 119-144
- Bedon, N.¹

4
- 0003722682
- Ph.D. Thesis, Université de Marne la Vallée, January
- (1998) Langages Reconnaissables de Mots Indexés par des ordinaux
- Bedon, N.¹

5
- 84947714884
- Technical Report, L.S.V., CNRS URA 2236, ENS de Cachan
- (1997) Accepting zeno words without making time stand still
- Bérard, B.¹ Picarony, C.²

6
- 0003283636
- Transductions and context free languages
- (1979) Teubner Studienbücher Informatik
- Berstel, J.¹

7
- 70350098746
- Weak second order arithmetic and finite automata
- (1960) Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik , vol.6 , pp. 66-92
- Büchi, J.R.¹

8
- 0002921602
- On a decision method in restricted second order arithmetic, logic methodology and philosophy of science
- Stanford University Press
- (1962) Proc. 1960 Internat. Congr. , pp. 1-11
- Büchi, J.R.¹

9
- 0000985390
- The monadic second order theory of all countable ordinals
- Decidable Theories, vol. 2, Springer, Berlin
- (1973) Lecture Notes in Mathematics , vol.328
- Büchi, J.R.¹ Siefkes, D.²

10
- 0004243841
- American Elsevier Publishing Company, New York, 3rd Edition (North-Holland, Amsterdam, 1990)
- (1973) Model Theory
- Chang, C.C.¹ Keisler, H.J.²

11
- 0004417244
- Langages Quasirationnels
- Ecole Nationale Supérieure de Techniques Avancées, Mars,
- (1973) Langages Algébriques, Actes des premières journées d'informatique théorique Bonascre
- Crestin, J.-P.¹

12
- 0004024352
- World Scientific, Singapore
- (1995) The Book of Traces
- Diekert, V.¹ Rozenberg, G.²

13
- 0004413596
- Springer, New York
- (1995) J. Flum, Finite Model Theory
- Ebbinghaus, H.D.¹

14
- 0004277611
- Academic Press, New York
- (1974) Automata, Languages and Machines , vol.A
- Eilenberg, S.¹

15
- 0027906178
- Finite-model theory, A personal perspective
- (1993) Theoret. Comput. Sci. , vol.116 , pp. 3-31
- Fagin, R.¹

16
- 0004394336
- Langages de Büchi et ω-langages Locaux
- (1989) C.R. Acad. Sci. Paris t.309 Sér. 1 , pp. 991-994
- Finkel, O.¹

17
- 0004391745
- Ph.D. Thesis, University Paris 7, May
- (1993) Théorie des Modèles des Formules Locales et Etude des Langages Formels qu' elles Definissent
- Finkel, O.¹

18
- 0004009571
- preprint
- (1994) Closure properties of locally finite omega languages
- Finkel, O.¹

19
- 0004387734
- Locally finite omega languages
- submitted
- Theoret. Comput. Sci.
- Finkel, O.¹

20
- 0030546336
- Stretchings
- (1996) J. Symbolic Logic , vol.61 , Issue.2 , pp. 563-585
- Finkel, O.¹ Ressayre, J.-P.²

21
- 0004423380
- Automates à files
- (1980) Theoret. Comput. Sci. , vol.11 , pp. 221-225
- Franchi-Zanettacci, P.¹ Vauquelin, B.²

22
- 0003508350
- McGraw-Hill, New York
- (1996) The Mathematical Theory Of Context Free Languages
- Ginsburg, S.¹

23
- 0004423381
- C.S.L., manuscript
- (1999) Logic For Unambiguous Context Free Languages
- Hachaichi, Y.¹

24
- 0004417246
- Mémoire de Licence, Université de Liège
- (1992) Automates sur Mots de Longueur Supérieure à ω
- Hemmer, J.C.¹

25
- 0003733548
- Addison-Wesley, Reading, MA
- (1969) Formal Languages and Their Relation to Automata
- Hopcroft, J.E.¹ Ullman, J.D.²

26
- 0023400985
- Languages that capture complexity classes
- (1987) SIAM J. Comput. , vol.16 , Issue.4 , pp. 347-354
- Immerman, N.¹

27
- 0000899298
- An hierarchy between context free and context sensitive languages
- (1970) J. Comput. System Sci. , vol.4 , pp. 492-508
- Kasai, T.¹

28
- 4244214180
- C.S.L.
- (1994) Logics for context free languages , pp. 205-216
- Lauteman, C.¹ Schwentick, T.² Therien, D.³

29
- 85011661085
- Logical specifications of infinite computations
- J.W. de Bakker et al. (Eds.), A Decade of Concurrency, Springer, Berlin
- (1994) Lecture Notes in Computer Science , vol.803 , pp. 583-621
- Lescow, H.¹ Thomas, W.²

30
- 0014617352
- Intercalation theorems for pushdown store and stack languages
- (1969) Proc. 1st ACM Symp. on Theory of Computing , pp. 31-42
- Ogden, W.F.¹

31
- 0004454568
- Automates, Réseaux, Formules
- Publications Mathématiques de l'Université Paris 7
- (1983) Séminaire Général de Logique
- Parigot, M.¹

32
- 0022105821
- A logical approach of Petri net languages
- (1985) Theoret. Comput. Sci. , vol.39 , pp. 155-169
- Parigot, M.¹ Pelz, E.²

33
- 0004345888
- Book in preparation
- Mots Infinis
- Perrin, D.¹ Pin, J.-E.²

34
- 21344469408
- Logic, semigroups and automata on words
- (1996) Ann. Math. Artif. Intell. , vol.16 , pp. 343-384
- Pin, J.-E.¹

35
- 0000295664
- Formal languages defined by the underlying structure of their words
- (1988) J. Symbolic Logic , vol.53 , Issue.4 , pp. 1009-1026
- Ressayre, J.-P.¹

36
- 0004031733
- Addison-Wesley, Reading, MA
- (1967) Mathematical Logic
- Schoenfield, J.R.¹

37
- 0004061291
- Polish Scientific Publisher, Varsovie
- (1965) Cardinal and Ordinal Numbers
- Sierpinski, W.¹

38
- 0000103668
- ω-languages
- G. Rozenberg, A. Salomaa (Eds.), Springer, Berlin
- Chapter of the Handbook of Formal languages , vol.3
- Staiger, L.¹

39
- 0001282303
- Automata on infinite objects
- J. Van Leeuwen (Ed.), Elsevier, Amsterdam
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 133-191
- Thomas, W.¹

40
- 0001568609
- Languages, automata and logic
- G. Rozenberg, A. Salomaa (Eds.), Springer, Berlin
- (1996) , vol.3
- Thomas, W.¹

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