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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 393, Issue 1-3, 2008, Pages 147-165

Graph automata

(2) Bozapalidis, Symeon a Kalampakas, Antonios a

a ARISTOTLE UNIVERSITY OF THESSALONIKI (Greece)

Author keywords

Automata; Directed hypergraphs; Magmoids

Indexed keywords

AUTOMATA THEORY; FORMAL LANGUAGES;

CLOSURE PROPERTIES; FUNDAMENTAL EQUATIONS; MAGMOIDS;

GRAPH THEORY;

EID: 39649098038 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/j.tcs.2007.11.022 Document Type: Article

Times cited : (27)

References (21)

1
- 39649086140
- Algebra automata I: Parallel programming as a prolegomena to the categorical approach
- Arbib M.A., and Give'on Y. Algebra automata I: Parallel programming as a prolegomena to the categorical approach. Inform. and Control 12 (1968) 331-345
- (1968) Inform. and Control , vol.12 , pp. 331-345
- Arbib, M.A.¹ Give'on, Y.²

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

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

4
- 0004205975
- Iteration theories
- Springer-Verlag
- Bloom S.L., and Ésik Z. Iteration theories. EATCS Monographs on Theoretical Computer Science (1991), Springer-Verlag
- (1991) EATCS Monographs on Theoretical Computer Science
- Bloom, S.L.¹ Ésik, Z.²

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

6
- 9944254213
- An axiomatization of graphs
- Bozapalidis S., and Kalampakas A. An axiomatization of graphs. Acta Inform. 41 (2004) 19-61
- (2004) Acta Inform. , vol.41 , pp. 19-61
- Bozapalidis, S.¹ Kalampakas, A.²

7
- 33645691883
- Recognizability of graph and pattern languages
- Bozapalidis S., and Kalampakas A. Recognizability of graph and pattern languages. Acta Inform. 42 (2006) 553-581
- (2006) Acta Inform. , vol.42 , pp. 553-581
- Bozapalidis, S.¹ Kalampakas, A.²

8
- 0015193179
- Ein Vollständigkeitssatz für programme und schaltkreise
- Claus V. Ein Vollständigkeitssatz für programme und schaltkreise. Acta Inform. 1 (1971) 64-78
- (1971) Acta Inform. , vol.1 , pp. 64-78
- Claus, V.¹

9
- 0004063990
- Ehrig H., Engels G., Kreowski H.-J., and Rozenberg G. (Eds), World Scientific, Singapore
- In: Ehrig H., Engels G., Kreowski H.-J., and Rozenberg G. (Eds). Handbook of Graph Grammars and Computing by Graph Transformation vol. I (1997), World Scientific, Singapore
- (1997) Handbook of Graph Grammars and Computing by Graph Transformation , vol.I

10
- 0003323472
- Automata in general algebras
- Eilenberg S., and Wright J.B. Automata in general algebras. Inform. and Control 11 (1967) 452-470
- (1967) Inform. and Control , vol.11 , pp. 452-470
- Eilenberg, S.¹ Wright, J.B.²

11
- 0001218274
- Context-free graph grammars
- Rozenberg G., and Salomaa A. (Eds), Springer (Chapter 3)
- Engelfriet J. Context-free graph grammars. In: Rozenberg G., and Salomaa A. (Eds). Handbook of Formal Languages vol. III: Beyond Words (1997), Springer 125-213 (Chapter 3)
- (1997) Handbook of Formal Languages , vol.III- Beyond Words , pp. 125-213
- Engelfriet, J.¹

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

13
- 20344407139
- A variety theorem for trees and theories
- Esik Z. A variety theorem for trees and theories. Publ. Math. 54 (1999) 711-762
- (1999) Publ. Math. , vol.54 , pp. 711-762
- Esik, Z.¹

14
- 0004086447
- Akademiai Kiado, Budapest
- Gécseg F., and Steinby M. Tree Automata (1984), Akademiai Kiado, Budapest
- (1984) Tree Automata
- Gécseg, F.¹ Steinby, M.²

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

16
- 0000290331
- Eine algebraisierung des syntheseproblems von schaltkreisen
- 209-231
- Hotz G. Eine algebraisierung des syntheseproblems von schaltkreisen. EIK 1 (1965) 185-205 209-231
- (1965) EIK , vol.1 , pp. 185-205
- Hotz, G.¹

17
- 0040920691
- Eindeutigkeit und mehrdeutigkeit formaler sprachen
- Hotz G. Eindeutigkeit und mehrdeutigkeit formaler sprachen. EIK 2 (1966) 235-246
- (1966) EIK , vol.2 , pp. 235-246
- Hotz, G.¹

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

19
- 0346776523
- Transductions of DAGS and trees
- Kamimura T., and Slutzki G. Transductions of DAGS and trees. Math. Syst. Theory 15 (1982) 225-249
- (1982) Math. Syst. Theory , vol.15 , pp. 225-249
- Kamimura, T.¹ Slutzki, G.²

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

21
- 39649108930
- Transformational classes of grammars
- Schnorr C.P. Transformational classes of grammars. Inform. and Control 14 (1969) 252-277
- (1969) Inform. and Control , vol.14 , pp. 252-277
- Schnorr, C.P.¹

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