Gabriela Steren

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Cut Elimination

Top Venues

J. Log. Comput.

Logica Universalis

Electron. Notes Theor. Comput. Sci.

Publications

Gabriela Steren, Eduardo Bonelli
The first-order hypothetical logic of proofs. J. Log. Comput. 27 (4) (2017)
Eduardo Bonelli, Gabriela Steren
Hypothetical Logic of Proofs. Logica Universalis 8 (1) (2014)
Gabriela Steren, Eduardo Bonelli
Intuitionistic Hypothetical Logic of Proofs. Electron. Notes Theor. Comput. Sci. 300 (2014)
Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
Monotonicity Analysis Can Speed Up Verification. RelMiCS (2006)
Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
A strategy for efficient verification of relational specifications, based on monotonicity analysis. ASE (2005)