Péter Battyányi
Title
Cited by
Cited by
Year
Normalization Properties of Symmetric Logical Calculi
P Battyanyi
Université de Savoie, Chambéry, France, 2007
72007
Local time membrane systems and time Petri nets
B Aman, P Battyányi, G Ciobanu, G Vaszil
Theoretical Computer Science 805, 175-192, 2020
62020
Describing membrane computations with a chemical calculus
P Battyányi, G Vaszil
Fundamenta Informaticae 134 (1-2), 39-50, 2014
42014
Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces
P Battyányi, T Mihálydeák, G Vaszil
International Conference on Unconventional Computation and Natural …, 2019
32019
Simulating P systems with membrane dissolution in a chemical calculus
B Aman, P Battyányi, G Ciobanu, G Vaszil
Natural Computing 15 (4), 521-532, 2016
32016
On the range of a Jordan*-derivation
P Battyányi
Commentationes Mathematicae Universitatis Carolinae 37 (4), 659-665, 1996
31996
An estimation for the lengths of reduction sequences of the -calculus
P Battyányi, K Nour
arXiv preprint arXiv:1703.05930, 2017
12017
Chemical Term Reduction with Active P Systems
P Battyányi, G Vaszil
International Conference on Membrane Computing, 136-150, 2016
12016
Jordan∗-derivations with respect to the Jordan product
P Battyanyi
Publ. Math. Debrecen 48, 327-338, 1996
11996
Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
P Battyányi, G Vaszil
Journal of Membrane Computing 2 (4), 341-354, 2020
2020
Normalization proofs for the un-typed μμ-calculus [J]
P Battyányi, K Nour
AIMS Mathematics 5 (4), 3702-3713, 2020
2020
Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application
P Battyányi, G Vaszil
International Joint Conference on Rough Sets, 239-252, 2019
2019
Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets
P Battyányi, G Vaszil
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019), p 59-78, 2019
2019
Membrane systems and multiset approximation
P Battyányi, G Vaszil
2019
A Time Petri Net Description of Membrane Systems with Priorities, Dissolution, and Promoters/Inhibitors
P Battyányi, G Vaszil
2019
An estimation for the lengths of reduction sequences of the -calculus
K Nour, P Battyányi
Logical Methods in Computer Science 14, 2018
2018
Strong normalization of lambda-Sym-Prop-and lambda-bar-mu-mu-tilde-star-calculi
P Battyanyi, K Nour
arXiv preprint arXiv:1706.07246, 2017
2017
STRONG NORMALIZATION OF lambda (Sym)(Prop)-AND (lambda) over-bar mu (mu) over-tilde*-CALCULI
P Battyanyi, K Nour
LOGICAL METHODS IN COMPUTER SCIENCE 13 (3), 2017
2017
P systems with costs and their relation to priced time automata and priced time Petri nets
B Aman, P Battyányi, G Ciobanu, G Vaszil
2017
Membrane systems and time Petri nets
B Aman, P Battyányi, G Ciobanu, G Vaszil
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017), p 71-94, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20