Péter Battyányi

Available identifiers

zbMath Open battyanyi.peterMaRDI QIDQ1982989

List of research outcomes

Publication	Date of Publication	Type
Solving the SAT problem with the string multiset rewriting calculus	2024-06-17	Paper
An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus	2024-05-17	Paper
Membrane systems and multiset approximation: the cases of inner and boundary rule application	2023-12-01	Paper
Normalization properties of $\lambda\mu$-calculus using realizability semantics	2023-11-07	Paper
On the power of boundary rule application in membrane computing	2023-08-31	Paper
Normalization in the simply typed -calculus	2023-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5867517	2022-09-14	Paper
Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus	2022-04-25	Paper
Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities	2021-09-14	Paper
Local time membrane systems and time Petri nets	2020-01-08	Paper
Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces	2019-10-10	Paper
Simulating P systems with membrane dissolution in a chemical calculus	2019-07-10	Paper
An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus	2018-08-15	Paper
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi	2017-10-12	Paper
Chemical Term Reduction with Active P Systems	2017-04-12	Paper
Describing Membrane Computations with a Chemical Calculus	2015-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4913385	2013-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q4380329	1998-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q4383353	1998-04-01	Paper

Research outcomes over time

This page was built for person: Péter Battyányi