Péter Battyányi

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
An estimation for the lengths of reduction sequences of the λμρθ-calculus.
Logical Methods in Computer Science, 2018

2017
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi.
Logical Methods in Computer Science, 2017

2016
Simulating P systems with membrane dissolution in a chemical calculus.
Natural Computing, 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. Inform., 2014


  Loading...