Items where Author is "Bartha, Miklós"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 14.

Article

Bartha, Miklós: On the completeness of the traced monoidal category axioms in (Rel,+). Acta cybernetica, (23) 1. pp. 327-347. (2017)

Bartha, Miklós and Krész, Miklós: Splitters and barriers in open graphs having a perfect internal matching. Acta cybernetica, (18) 4. pp. 697-718. (2008)

Krész, Miklós and Bartha, Miklós: Soliton graphs and graph-expressions. Conference of PhD Students in Computer Science, (3). p. 67. (2002)

Bartha, Miklós and Krész, Miklós: Elementary decomposition of soliton automata. Acta cybernetica, (14) 4. pp. 631-652. (2000)

Bartha, Miklós and Krész, Miklós: Soliton automata and graph matchings. Conference of PhD Students in Computer Science, (2). p. 17. (2000)

Bartha, Miklós and Krész, Miklós: Elementary decomposition of soliton automata. Conference of PhD Students in Computer Science, (1). p. 20. (1998)

Bartha, Miklós and Gombás, Éva: On graphs with perfect internal matchings. Acta cybernetica, (12) 2. pp. 111-124. (1995)

Gombás, Éva and Bartha, Miklós: Two transformations on attribute grammars improving the complexity of their evaluation. Acta cybernetica, (9) 1. pp. 55-72. (1989)

Bartha, Miklós: A finite axiomatization of flowchart schemes. Acta cybernetica, (8) 2. pp. 203-217. (1987)

Gombás, Éva and Bartha, Miklós: Atomic characterizations of uniform multi-pass attribute grammars. Acta cybernetica, (7) 2. pp. 155-172. (1985)

Gombás, Éva and Bartha, Miklós: A multi-visit characterization of absolutely noncircular attribute grammars. Acta cybernetica, (7) 1. pp. 19-31. (1985)

Bartha, Miklós: On injective attributed characterization of 2-way deterministic finite state transducers. Acta cybernetica, (6) 4. pp. 347-353. (1984)

Bartha, Miklós: Linear deterministic attributed transformations. Acta cybernetica, (6) 2. pp. 125-147. (1983)

Bartha, Miklós: An algebraic definition of attributed transformations. Acta cybernetica, (5) 4. pp. 409-421. (1982)

This list was generated on 2020. február 25. 01:39:32 CET.