Péter Battyányi

Orcid: 0000-0001-6703-9661

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
An encoding of the λ-calculus in the String MultiSet Rewriting calculus.
Acta Informatica, June, 2024

Solving the SAT problem with the string multiset rewriting calculus.
Computing, May, 2024

2023
On the power of boundary rule application in membrane computing.
Nat. Comput., March, 2023

2022
Normalization in the simply typed λμμ'ρθε-calculus.
Math. Struct. Comput. Sci., September, 2022

Rough-Set-Like Approximation Spaces for Formal Languages.
J. Autom. Lang. Comb., 2022

2020
Local time membrane systems and time Petri nets.
Theor. Comput. Sci., 2020

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

2019
Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces.
Proceedings of the Unconventional Computation and Natural Computation, 2019

Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application.
Proceedings of the Rough Sets - International Joint Conference, 2019

2018
An estimation for the lengths of reduction sequences of the λμρθ-calculus.
Log. Methods Comput. Sci., 2018

2017
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi.
Log. Methods Comput. Sci., 2017

2016
Simulating P systems with membrane dissolution in a chemical calculus.
Nat. Comput., 2016

Chemical Term Reduction with Active P Systems.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2014
Describing Membrane Computations with a Chemical Calculus.
Fundam. Informaticae, 2014


  Loading...