Follow
Péter Battyányi
Title
Cited by
Cited by
Year
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
Normalization Properties of Symmetric Logical Calculi
P Battyanyi
Université de Savoie, Chambéry, France, 2007
72007
On the range of a Jordan*-derivation
P Battyányi
Commentationes Mathematicae Universitatis Carolinae 37 (4), 659-665, 1996
61996
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
42020
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
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
An estimation for the lengths of reduction sequences of the -calculus
P Battyányi, K Nour
Logical Methods in Computer Science 14, 2018
22018
Normalization in the simply typed-calculus
P Battyányi, K Nour
Mathematical Structures in Computer Science 32 (8), 1066-1098, 2022
12022
Normalization proofs for the un-typed µµ-calculus
P Battyányi, K Nour, F Chambéry
Special Issue: LICMA 19, 3702-3713, 2020
12020
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
Strong normalization of lambda-Sym-Prop-and lambda-bar-mu-mu-tilde-star-calculi
P Battyanyi, K Nour
Logical Methods in Computer Science 13, 2017
12017
Chemical Term Reduction with Active P Systems
P Battyányi, G Vaszil
International Conference on Membrane Computing, 136-150, 2016
12016
On some nonstandard extensions of Heyting Arithmetic
P Battyányi
Proceedings of the 6th International Conference on Applied Informatics Eger …, 2004
12004
Jordan*-derivations with respect to the Jordan product
P BATTYÁNYI
Publ. Math. Debrecen 48, 327-338, 1996
11996
An encoding of the -calculus in the String MultiSet Rewriting calculus
A Bagossy, P Battyányi
Acta Informatica, 1-21, 2024
2024
Solving the SAT problem with the string multiset rewriting calculus
P Battyányi
Computing, 1-14, 2024
2024
Normalization properties of -calculus using realizability semantics
P Battyanyi, K Nour
arXiv preprint arXiv:2311.04370, 2023
2023
On Some Properties of Nonstandard Heyting Arithmetic
P Battyányi
Logic and Applications LAP 2023, 9, 2023
2023
On the power of boundary rule application in membrane computing
P Battyányi
Natural Computing 22 (1), 13-25, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20