Péter Battyányi

According to our database, Péter Battyányi authored at least 14 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An encoding of the λ-calculus in the String MultiSet Rewriting calculus.

Attila Bagossy, Péter Battyányi

Acta Informatica, June, 2024

Solving the SAT problem with the string multiset rewriting calculus.

Péter Battyányi

Computing, May, 2024

2023

On the power of boundary rule application in membrane computing.

Péter Battyányi

Nat. Comput., March, 2023

2022

Normalization in the simply typed λμμ'ρθε-calculus.

Péter Battyányi, Karim Nour

Math. Struct. Comput. Sci., September, 2022

Rough-Set-Like Approximation Spaces for Formal Languages.

Péter Battyányi, Tamás Mihálydeák, György Vaszil

J. Autom. Lang. Comb., 2022

2020

Local time membrane systems and time Petri nets.

Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil

Theor. Comput. Sci., 2020

Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities.

Péter Battyányi, György Vaszil

J. Membr. Comput., 2020

2019

Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces.

Péter Battyányi, Tamás Mihálydeák, György Vaszil

Proceedings of the Unconventional Computation and Natural Computation, 2019

Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application.

Péter Battyányi, György Vaszil

Proceedings of the Rough Sets - International Joint Conference, 2019

2018

An estimation for the lengths of reduction sequences of the λμρθ-calculus.

Péter Battyányi, Karim Nour

Log. Methods Comput. Sci., 2018

2017

Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi.

Péter Battyányi, Karim Nour

Log. Methods Comput. Sci., 2017

2016

Simulating P systems with membrane dissolution in a chemical calculus.

Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil

Nat. Comput., 2016

Chemical Term Reduction with Active P Systems.

Péter Battyányi, György Vaszil

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2014

Describing Membrane Computations with a Chemical Calculus.

Péter Battyányi, György Vaszil

Fundam. Informaticae, 2014