Péter Battyányi

MaRDI QIDQ1982989zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Normalization properties of -calculus using realizability semantics Journal of Applied Logics - IfCoLog Journal of Logics and their Applications	2026-07-27	Paper
Solving the SAT problem with the string multiset rewriting calculus Computing	2024-06-17	Paper
An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus Acta Informatica	2024-05-17	Paper
Membrane systems and multiset approximation: the cases of inner and boundary rule application Rough Sets	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 Natural Computing	2023-08-31	Paper
Normalization in the simply typed -calculus Mathematical Structures in Computer Science	2023-04-27	Paper
Rough-set-like approximation spaces for formal languages	2022-09-14	Paper
Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus AIMS Mathematics	2022-04-25	Paper
Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities Journal of Membrane Computing	2021-09-14	Paper
Local time membrane systems and time Petri nets Theoretical Computer Science	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 Natural Computing	2019-07-10	Paper
An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-calculus (available as arXiv preprint)	2018-08-15	Paper
Strong normalization of \(\lambda^{\mathrm{Sym}}_{\mathrm{Prop}}\)- and \(\overline{\lambda}\mu\overline{\mu}^\ast\)-calculi (available as arXiv preprint)	2017-10-12	Paper
Chemical term reduction with active P systems Membrane Computing	2017-04-12	Paper
Describing membrane computations with a chemical calculus Fundamenta Informaticae	2015-06-26	Paper
Jordan *-derivations with respect to the Jordan product	2013-04-05	Paper
scientific article; zbMATH DE number 1127899 (Why is no real title available?)	1998-09-23	Paper
scientific article; zbMATH DE number 1137925 (Why is no real title available?)	1998-04-01	Paper

Research outcomes over time

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