Follow
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
92007
Local time membrane systems and time Petri nets
B Aman, P Battyányi, G Ciobanu, G Vaszil
Theoretical Computer Science 805, 175-192, 2020
72020
On the range of a Jordan*-derivation
P Battyányi
Commentationes Mathematicae Universitatis Carolinae 37 (4), 659-665, 1996
51996
Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces
P Battyányi, T Mihálydeák, G Vaszil
Unconventional Computation and Natural Computation: 18th International …, 2019
42019
Describing membrane computations with a chemical calculus
P Battyányi, G Vaszil
Fundamenta Informaticae 134 (1-2), 39-50, 2014
42014
Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
P Battyányi, G Vaszil
Journal of Membrane Computing 2, 341-354, 2020
32020
Simulating P systems with membrane dissolution in a chemical calculus
B Aman, P Battyányi, G Ciobanu, G Vaszil
Natural Computing 15, 521-532, 2016
32016
Normalization proofs for the un-typed µµ-calculus
P Battyányi, K Nour, F Chambéry
Special Issue: LICMA 19, 3702-3713, 2020
22020
Membrane systems and multiset approximation: the cases of inner and boundary rule application
P Battyányi, G Vaszil
Rough Sets: International Joint Conference, IJCRS 2019, Debrecen, Hungary …, 2019
12019
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
Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy …, 2017
12017
Jordan*-derivations with respect to the Jordan product
P BATTYÁNYI
Publ. Math. Debrecen 48, 327-338, 1996
11996
Normalization in the simply typed-calculus
P Battyányi, K Nour
Mathematical Structures in Computer Science, 1-33, 2023
2023
On the power of boundary rule application in membrane computing
P Battyányi
Natural Computing, 1-13, 2022
2022
Rough-set-like approximation spaces for formal languages
P Battyányi, T Mihálydeák, G Vaszil
Journal of Automata, Languages and Combinatorics, to appear, 2022
2022
Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets
P Battyányi, G Vaszil
Seventeenth Brainstorming Week on Membrane Computing, 59, 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
K Nour, P Battyanyi
Logical Methods in Computer Science 13, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20