Items where Author is "Battyányi, Péter"

Article

Aman, Bogdan and Battyányi, Péter and Ciobanu, Gabriel and Vaszil, György (2020) Local Time Membrane Systems and Time Petri Nets. THEORETICAL COMPUTER SCIENCE, 805. pp. 175-192. ISSN 0304-3975

Battyányi, Péter and Karim, Nour (2017) Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi. LOGICAL METHODS IN COMPUTER SCIENCE, 13 (3). pp. 1-22. ISSN 1860-5974

Monograph

Dömösi, Pál Béla and Battyányi, Péter and Csáki, Tibor and Egri-Nagy, Attila and Fazekas, Szilárd Zsolt and Horváth, Géza and Kovásznai, Gergely and Nagy, Benedek (2009) Absztrakt automaták és formális nyelvek = Abstract Automata and Formal Languages. Project Report. OTKA.

Conference or Workshop Item

Battyányi, Péter and Mihálydeák, Tamás and Vaszil, György (2019) Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces. In: 18th International Conference on Unconventional Computation and Natural Computation, 2019. június 3-7., Tokió, Japán.

Battyányi, Péter and Vaszil, György (2019) Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application. In: International Joint Conference on Rough Sets, IJCRS 2019, 2019. június 17-21., Debrecen, Magyarország.

Battyányi, Péter and Vaszil, György (2019) Membrane systems and multiset approximation. In: Eleventh Workshop on Non-Classical Models of Automata and Applications (NCMA 2019), 2019. július 2-3., Valencia, Spanyolország.

Battyányi, Péter and Vaszil, György (2019) A Time Petri Net Description of Membrane Systems with Priorities, Dissolution, and Promoters/Inhibitors. In: 20th International Conference on Membrane Computing, CMC 20, 2019. augusztus 5-8., Curtea de Arges, Románia.

Aman, Bogdan and Battyányi, Péter and Ciobanu, Gabriel and Vaszil, György (2017) P systems with costs and their relation to priced time automata and priced time Petri nets. In: Ninth Workshop on Non-Classical Models of Automata and Applications (NCMA 2017), 17-18 August, 2017, Prague.