关注
Péter Battyányi
Péter Battyányi
Assistant Lecturer, University of Debrecen
在 inf.unideb.hu 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
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
22022
An estimation for the lengths of reduction sequences of the -calculus
P Battyányi, K Nour
Logical Methods in Computer Science 14, 2018
22018
An encoding of the -calculus in the String MultiSet Rewriting calculus
A Bagossy, P Battyányi
Acta Informatica 61 (2), 161-181, 2024
12024
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 mu mu'-calculus
P Battyányi, N Karim
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
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
系统目前无法执行此操作,请稍后再试。
文章 1–20