Author of the publication

On Rules and Parameter Free Systems in Bounded Arithmetic.

, , and . CiE, volume 4497 of Lecture Notes in Computer Science, page 179-188. Springer, (2007)

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

Approximating Non-discrete P Systems., and . Workshop on Membrane Computing, volume 3365 of Lecture Notes in Computer Science, page 287-295. Springer, (2004)A Note on Complexity Measures for Probabilistic P Systems., and . J. Univers. Comput. Sci., 10 (5): 559-566 (2004)Provably Total Primitive Recursive Functions: Theories with Induction., , and . CSL, volume 3210 of Lecture Notes in Computer Science, page 355-369. Springer, (2004)Local Induction and Provably Total Computable Functions: A Case Study., and . CiE, volume 7318 of Lecture Notes in Computer Science, page 440-449. Springer, (2012)A geometric protocol for cryptography with cards., , , and . Des. Codes Cryptogr., 74 (1): 113-125 (2015)Dynamic Consequence and Public announcement., , and . Rev. Symb. Log., 6 (4): 659-679 (2013)Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem., , , , and . Workshop on Membrane Computing, volume 2933 of Lecture Notes in Computer Science, page 140-152. Springer, (2003)Exploring Computation Trees Associated with P Systems., , , and . Workshop on Membrane Computing, volume 3365 of Lecture Notes in Computer Science, page 278-286. Springer, (2004)On axiom schemes for T-provably Δ1 formulas., , and . Arch. Math. Log., 53 (3-4): 327-349 (2014)A secure additive protocol for card players., , , , and . Australas. J Comb., (2012)