Local time membrane systems and time Petri nets B Aman, P Battyányi, G Ciobanu, G Vaszil
Theoretical Computer Science 805, 175-192, 2020
7 2020 Normalization Properties of Symmetric Logical Calculi P Battyanyi
Université de Savoie, Chambéry, France, 2007
7 2007 On the range of a Jordan*-derivation P Battyányi
Commentationes Mathematicae Universitatis Carolinae 37 (4), 659-665, 1996
6 1996 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
4 2020 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
4 2019 Describing membrane computations with a chemical calculus P Battyányi, G Vaszil
Fundamenta Informaticae 134 (1-2), 39-50, 2014
4 2014 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
3 2016 An estimation for the lengths of reduction sequences of the -calculus P Battyányi, K Nour
Logical Methods in Computer Science 14, 2018
2 2018 Normalization in the simply typed-calculus P Battyányi, K Nour
Mathematical Structures in Computer Science 32 (8), 1066-1098, 2022
1 2022 Rough-Set-Like Approximation Spaces for Formal Languages. P Battyányi, T Mihálydeák, G Vaszil
J. Autom. Lang. Comb. 27 (1-3), 79-90, 2022
1 2022 Normalization proofs for the un-typed µµ-calculus P Battyányi, K Nour, F Chambéry
Special Issue: LICMA 19, 3702-3713, 2020
1 2020 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
1 2019 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
1 2017 Chemical Term Reduction with Active P Systems P Battyányi, G Vaszil
International Conference on Membrane Computing, 136-150, 2016
1 2016 On some nonstandard extensions of Heyting Arithmetic P Battyányi
Proceedings of the 6th International Conference on Applied Informatics Eger …, 2004
1 2004 Jordan*-derivations with respect to the Jordan product P BATTYÁNYI
Publ. Math. Debrecen 48, 327-338, 1996
1 1996 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