Péter Battyányi

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Approximation Spaces

Computer Algebra

Formal Languages

Top Venues

Log. Methods Comput. Sci.

Fundam. Informaticae

J. Autom. Lang. Comb.

Publications

Attila Bagossy, Péter Battyányi
An encoding of the λ-calculus in the String MultiSet Rewriting calculus. Acta Informatica 61 (2) (2024)
Péter Battyányi
Solving the SAT problem with the string multiset rewriting calculus. Computing 106 (5) (2024)
Péter Battyányi
On the power of boundary rule application in membrane computing. Nat. Comput. 22 (1) (2023)
Péter Battyányi, Tamás Mihálydeák, György Vaszil
Rough-Set-Like Approximation Spaces for Formal Languages. J. Autom. Lang. Comb. 27 (1-3) (2022)
Péter Battyányi, Karim Nour
Normalization in the simply typed λμμ'ρθε-calculus. Math. Struct. Comput. Sci. 32 (8) (2022)
Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Local time membrane systems and time Petri nets. Theor. Comput. Sci. 805 (2020)
Péter Battyányi, György Vaszil
Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities. J. Membr. Comput. 2 (4) (2020)
Péter Battyányi, Tamás Mihálydeák, György Vaszil
Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces. UCNC (2019)
Péter Battyányi, György Vaszil
Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application. IJCRS (2019)
Péter Battyányi, Karim Nour
An estimation for the lengths of reduction sequences of the λμρθ-calculus. Log. Methods Comput. Sci. 14 (2) (2018)
Péter Battyányi, Karim Nour
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi. Log. Methods Comput. Sci. 13 (3) (2017)
Péter Battyányi, György Vaszil
Chemical Term Reduction with Active P Systems. Int. Conf. on Membrane Computing (2016)
Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Simulating P systems with membrane dissolution in a chemical calculus. Nat. Comput. 15 (4) (2016)
Péter Battyányi, György Vaszil
Describing Membrane Computations with a Chemical Calculus. Fundam. Informaticae 134 (1-2) (2014)