Author of the publication

Chemical Term Reduction with Active P Systems.

, and . Int. Conf. on Membrane Computing, volume 10105 of Lecture Notes in Computer Science, page 136-150. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Normalization in the simply typed λμμ'ρθε-calculus., and . Math. Struct. Comput. Sci., 32 (8): 1066-1098 (September 2022)Local time membrane systems and time Petri nets., , , and . Theor. Comput. Sci., (2020)Describing Membrane Computations with a Chemical Calculus., and . Fundam. Informaticae, 134 (1-2): 39-50 (2014)Chemical Term Reduction with Active P Systems., and . Int. Conf. on Membrane Computing, volume 10105 of Lecture Notes in Computer Science, page 136-150. Springer, (2016)On the power of boundary rule application in membrane computing.. Nat. Comput., 22 (1): 13-25 (March 2023)Rough-Set-Like Approximation Spaces for Formal Languages., , and . J. Autom. Lang. Comb., 27 (1-3): 79-90 (2022)Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi., and . Logical Methods in Computer Science, (2017)Simulating P systems with membrane dissolution in a chemical calculus., , , and . Nat. Comput., 15 (4): 521-532 (2016)Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities., and . J. Membr. Comput., 2 (4): 341-354 (2020)Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces., , and . UCNC, volume 11493 of Lecture Notes in Computer Science, page 15-29. Springer, (2019)