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

메뉴 건너뛰기

Acta Informatica

Volumn 42, Issue 8-9, 2006, Pages 553-581

Recognizability of graph and pattern languages

(2) Bozapalidis, Symeon a Kalampakas, Antonios a

a ARISTOTLE UNIVERSITY OF THESSALONIKI (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH LANGUAGES; PATTERN LANGUAGES; SYNTACTIC MONOID; WORD LANGUAGES;

VISUAL LANGUAGES;

SYNTACTICS;

EID: 33645691883 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/s00236-006-0006-z Document Type: Article

Times cited : (21)

References (20)

1
- 0018048377
- Théorie des magmoides
- Arnold, A., Dauchet, M.: Théorie des magmoides. I. RAIRO Inform. Théor. 12(3), 235-257 (1978)
- (1978) I. RAIRO Inform. Théor. , vol.12 , Issue.3 , pp. 235-257
- Arnold, A.¹ Dauchet, M.²

2
- 9944256355
- Théorie des magmoides
- Arnold, A., Dauchet, M.: Théorie des magmoides. II. RAIRO Inform. Théor. 13(2), 135-154 (1979)
- (1979) II. RAIRO Inform. Théor. , vol.13 , Issue.2 , pp. 135-154
- Arnold, A.¹ Dauchet, M.²

3
- 0003160921
- Graph expressions and graph rewritings
- Bauderon, M., Courcelle, B.: Graph expressions and graph rewritings. Math. Syst. Theory 20, 83-127 (1987)
- (1987) Math. Syst. Theory , vol.20 , pp. 83-127
- Bauderon, M.¹ Courcelle, B.²

4
- 0039734822
- A Kleene theorem for a class of planar acyclic graphs
- Bossut, F., Dauchet, M., Warin, B.: A Kleene theorem for a class of planar acyclic graphs. Inform. and Comput. 117, 251-265 (1995)
- (1995) Inform. and Comput. , vol.117 , pp. 251-265
- Bossut, F.¹ Dauchet, M.² Warin, B.³

5
- 0039998729
- Exponential numbers
- Bell, E.T.: Exponential numbers. Amer. Math. Monthly 41, 411-419 (1934)
- (1934) Amer. Math. Monthly , vol.41 , pp. 411-419
- Bell, E.T.¹

6
- 0016507066
- The basic algebraic structures in categories of derivations
- Benson, D.B.: The basic algebraic structures in categories of derivations. Inform, and Control 28, 1-29 (1975)
- (1975) Inform, and Control , vol.28 , pp. 1-29
- Benson, D.B.¹

7
- 9944254213
- An axiomatization of graphs
- Bozapalidis, S., Kalampakas, A.: An axiomatization of graphs. Acta Informatica 41, 19-61 (2004)
- (2004) Acta Informatica , vol.41 , pp. 19-61
- Bozapalidis, S.¹ Kalampakas, A.²

8
- 0000262514
- An algebraic presentation of term graphs, via gs-monoidal categories
- Corradini, A., Gadducci, F.: An algebraic presentation of term graphs, via gs-monoidal categories. Appl. Categ. Structures 7(4), 299-331 (1999)
- (1999) Appl. Categ. Structures , vol.7 , Issue.4 , pp. 299-331
- Corradini, A.¹ Gadducci, F.²

9
- 0025398865
- The monadic second-order logic of graphs
- Courcelle, B.: The monadic second-order logic of graphs. I. Recognizable sets of finite graphs. Inform, and Comput. 85, 12-75 (1990)
- (1990) I. Recognizable Sets of Finite Graphs. Inform, and Comput. , vol.85 , pp. 12-75
- Courcelle, B.¹

10
- 0004277611
- Academic Press
- Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press (1974)
- (1974) Automata, Languages and Machines , vol.A
- Eilenberg, S.¹

11
- 0039375896
- Context-free graph grammars and concatenation of graphs
- Engelfriet, J., Vereijken, J.J.: Context-free graph grammars and concatenation of graphs. Acta Informatica 34, 773-803 (1997)
- (1997) Acta Informatica , vol.34 , pp. 773-803
- Engelfriet, J.¹ Vereijken, J.J.²

12
- 58149405145
- Engelfriet, J., Schmidt, E.M.: IO and OI I. J. Comput. Syst. Sci. 15(3), 328-353 (1977)
- (1977) IO and OI I. J. Comput. Syst. Sci. , vol.15 , Issue.3 , pp. 328-353
- Engelfriet, J.¹ Schmidt, E.M.²

13
- 84957891900
- An inductive view of graph transformation
- Recent Trends in Algebraic Development Techniques (Tarquinia 1997), 1376, Springer
- Gadducci, F., Heckel, R.: An inductive view of graph transformation. Recent Trends in Algebraic Development Techniques (Tarquinia 1997), pp. 223-237. Lecture Notes in Computer Science 1376, Springer (1997)
- (1997) Lecture Notes in Computer Science , pp. 223-237
- Gadducci, F.¹ Heckel, R.²

14
- 84958776882
- An initial-algebra approach to directed acyclic graphs
- LNCS 947, Springer, Berlin
- Gibbons, J.: An initial-algebra approach to directed acyclic graphs. Mathematics of program construction (Kloster Irsee, 1995), pp. 282-303. LNCS 947, Springer, Berlin (1995)
- (1995) Mathematics of Program Construction (Kloster Irsee, 1995) , pp. 282-303
- Gibbons, J.¹

15
- 0000290331
- Eine Algebraisierung des Syntheseproblems von Schaltkreisen
- Hotz, G.: Eine Algebraisierung des Syntheseproblems von Schaltkreisen. EIK 1, pp. 185-205, 209-231 (1965)
- (1965) EIK , vol.1 , pp. 209-231
- Hotz, G.¹

16
- 0040920691
- Eindeutigkeit und Mehrdeutigkeit formaler Sprachen
- Hotz, G.: Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. EIK 2, 235-246 (1966)
- (1966) EIK , vol.2 , pp. 235-246
- Hotz, G.¹

17
- 0019551297
- Parallel and two-way automata on directed ordered acyclic graphs
- Kamimura, T., Slutzki, G.: Parallel and two-way automata on directed ordered acyclic graphs. Inform, and Control 49, 10-51 (1981)
- (1981) Inform, and Control , vol.49 , pp. 10-51
- Kamimura, T.¹ Slutzki, G.²

18
- 0004280509
- Springer Verlag
- MacLane, S.: Categories for the Working Mathematician. Springer Verlag (1971)
- (1971) Categories for the Working Mathematician
- MacLane, S.¹

19
- 0002718609
- Algebraic automata and context-free sets
- Mezei, J., Wright, J.: Algebraic automata and context-free sets. Inform, and Control 11, 3-29 (1967)
- (1967) Inform, and Control , vol.11 , pp. 3-29
- Mezei, J.¹ Wright, J.²

20
- 33645687401
- Finite auomata
- Chapter 1 van Leeuwen, J. (ed.), MIT Press
- Perrin, D.: (Chapter 1) Finite Auomata. Handbook of Theoretical Computer Science. In: van Leeuwen, J. (ed.), Vol. B, MIT Press (1990)
- (1990) Handbook of Theoretical Computer Science , vol.B
- Perrin, D.¹

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