Attila Bagossy

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Presburger Arithmetic

Top Venues

Acta Informatica

Int. Conf. on Membrane Computing

J. Membr. Comput.

Theor. Comput. Sci.

Publications

Attila Bagossy, Péter Battyányi
An encoding of the λ-calculus in the String MultiSet Rewriting calculus. Acta Informatica 61 (2) (2024)
Attila Bagossy, György Vaszil
Controlled reversibility in communicating reaction systems. Theor. Comput. Sci. 926 (2022)
Attila Bagossy, György Vaszil
Transition Graphs of Reversible Reaction Systems. Int. Conf. on Membrane Computing (2020)
Attila Bagossy, György Vaszil
Simulating reversible computation with reaction systems. J. Membr. Comput. 2 (3) (2020)