×
Author ID: battyanyi.peter Recent zbMATH articles by "Battyányi, Péter"
Published as: Battyányi, Péter; Battyanyi, Peter; Battyányi, P.
Documents Indexed: 18 Publications since 1996, including 1 Additional arXiv Preprint
Co-Authors: 6 Co-Authors with 14 Joint Publications
124 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 11 times in 11 Documents Cited by Year
An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-calculus. Zbl 1453.03007
Battyányi, Péter; Nour, Karim
2
2018
Describing membrane computations with a chemical calculus. Zbl 1315.68124
Battyányi, Péter; Vaszil, György
2
2014
Local time membrane systems and time Petri nets. Zbl 1436.68110
Aman, Bogdan; Battyányi, Péter; Ciobanu, Gabriel; Vaszil, György
2
2020
On the range of a Jordan *-derivation. Zbl 0886.47017
Battyányi, P.
1
1996
Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus. Zbl 1484.03021
Battyányi, Péter; Nour, Karim
1
2020
Simulating P systems with membrane dissolution in a chemical calculus. Zbl 1415.68070
Aman, Bogdan; Battyányi, Péter; Ciobanu, Gabriel; Vaszil, György
1
2016
Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities. Zbl 1469.68024
Battyányi, Péter; Vaszil, György
1
2020
Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces. Zbl 1525.68047
Battyányi, Péter; Mihálydeák, Tamás; Vaszil, György
1
2019
Local time membrane systems and time Petri nets. Zbl 1436.68110
Aman, Bogdan; Battyányi, Péter; Ciobanu, Gabriel; Vaszil, György
2
2020
Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus. Zbl 1484.03021
Battyányi, Péter; Nour, Karim
1
2020
Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities. Zbl 1469.68024
Battyányi, Péter; Vaszil, György
1
2020
Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces. Zbl 1525.68047
Battyányi, Péter; Mihálydeák, Tamás; Vaszil, György
1
2019
An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-calculus. Zbl 1453.03007
Battyányi, Péter; Nour, Karim
2
2018
Simulating P systems with membrane dissolution in a chemical calculus. Zbl 1415.68070
Aman, Bogdan; Battyányi, Péter; Ciobanu, Gabriel; Vaszil, György
1
2016
Describing membrane computations with a chemical calculus. Zbl 1315.68124
Battyányi, Péter; Vaszil, György
2
2014
On the range of a Jordan *-derivation. Zbl 0886.47017
Battyányi, P.
1
1996

Citations by Year