Silvia Steila

18 papers C 2Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion.
J. Log. Comput.
Stefano Berardi, Paulo Oliva, Silvia Steila
2018 J jnl
A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem.
J. Symb. Log.
Paulo Oliva, Silvia Steila
2018 J jnl
About some fixed Point Axioms and Related Principles in Kripke-Platek Environments.
J. Symb. Log.
Gerhard Jäger, Silvia Steila
2018 J jnl
The strength of SCT soundness.
J. Log. Comput.
Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama
2017 J jnl
Generic Large Cardinals and Systems of filters.
J. Symb. Log.
Giorgio Audrito, Silvia Steila
2017 J jnl
Ramsey's Theorem for Pairs and k Colors as a sub-Classical Principle of Arithmetic.
J. Symb. Log.
Stefano Berardi, Silvia Steila
2017 C conf
The Strength of the SCT Criterion.
TAMC
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
2017 C ed.
Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
TAMC
T. V. Gopal, Gerhard Jäger, Silvia Steila
2016 J jnl
Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of Arithmetic.
CoRR
Stefano Berardi, Silvia Steila
2016 J jnl
Reverse mathematical bounds for the Termination Theorem.
Ann. Pure Appl. Log.
Silvia Steila, Keita Yokoyama
2016 J jnl
The strength of the SCT criterion.
CoRR
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
2015 J jnl
An intuitionistic version of Ramsey's Theorem and its use in Program Termination.
Ann. Pure Appl. Log.
Stefano Berardi, Silvia Steila
2015 J jnl
Reverse Mathematical Bounds for the Termination Theorem.
CoRR
Silvia Steila, Keita Yokoyama
2014 — conf
An Intuitionistic Analysis of Size-change Termination.
TYPES
Silvia Steila
2014 — conf
Proving termination of programs having transition invariants of height ω.
ICTCS
Stefano Berardi, Paulo Oliva, Silvia Steila
2014 J jnl
Proving termination with transition invariants of height omega.
CoRR
Stefano Berardi, Paulo Oliva, Silvia Steila
2014 — conf
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations.
RTA-TLCA
Stefano Berardi, Silvia Steila
2013 — conf
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic.
TYPES
Stefano Berardi, Silvia Steila