A finite axiomatization of flowchart schemes

Most read articles by the same author(s)

• Miklós Bartha, On the completeness of the traced monoidal category axioms in (Rel,+) , Acta Cybernetica: Vol. 23 No. 1 (2017)
• Miklós Bartha, Miklós Krész, Elementary decomposition of soliton automata , Acta Cybernetica: Vol. 14 No. 4 (2000)
• Miklós Bartha, Miklós Krész, Splitters and barriers in open graphs having a perfect internal matching , Acta Cybernetica: Vol. 18 No. 4 (2008)
• Miklós Bartha, Linear deterministic attributed transformations , Acta Cybernetica: Vol. 6 No. 2 (1983)
• Éva Gombás, Miklós Bartha, Two transformations on attribute grammars improving the complexity of their evaluation , Acta Cybernetica: Vol. 9 No. 1 (1989)
• Miklós Bartha, Éva Gombás, On graphs with perfect internal matchings , Acta Cybernetica: Vol. 12 No. 2 (1995)
• Miklós Bartha, An algebraic definition of attributed transformations , Acta Cybernetica: Vol. 5 No. 4 (1982)
• Miklós Bartha, On injective attributed characterization of 2-way deterministic finite state transducers , Acta Cybernetica: Vol. 6 No. 4 (1984)
• Éva Gombás, Miklós Bartha, Atomic characterizations of uniform multi-pass attribute grammars , Acta Cybernetica: Vol. 7 No. 2 (1985)
• Éva Gombás, Miklós Bartha, A multi-visit characterization of absolutely noncircular attribute grammars , Acta Cybernetica: Vol. 7 No. 1 (1985)