Barenbaum, Pablo

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-4 de 4

Artículo Distilling abstract machines

Accattoli, Beniamino; Barenbaum, Pablo ; Mazza, Damiano (Association for Computing Machinery, 2014-09)
Artículo Efficient repeat finding in sets of strings via suffix arrays

Barenbaum, Pablo ; Becher, Veronica Andrea ; Deymonnaz, Alejandro; Halsband, Melisa; Heiber, Pablo Ariel (Discrete Mathematics and Theoretical Computer Science, 2013-04)
Artículo Foundations of strong call by need

Balabonski, Thibaut; Barenbaum, Pablo ; Bonelli, Eduardo Augusto ; Kesner, Delia (Association for Computing Machinery, 2017-08)
Artículo Optimality & the linear substitution calculus

Barenbaum, Pablo ; Bonelli, Eduardo Augusto (Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2017-09)

Mostrando ítems 1-4 de 4