Silvia Steila

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 10

Top Topics

Rewrite Systems

Moment Invariants

Selection Criterion

Top Venues

J. Log. Comput.

Publications

Stefano Berardi, Paulo Oliva, Silvia Steila
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. J. Log. Comput. 29 (4) (2019)
Gerhard Jäger, Silvia Steila
About some fixed Point Axioms and Related Principles in Kripke-Platek Environments. J. Symb. Log. 83 (2) (2018)
Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama
The strength of SCT soundness. J. Log. Comput. 28 (6) (2018)
Paulo Oliva, Silvia Steila
A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem. J. Symb. Log. 83 (1) (2018)
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
The Strength of the SCT Criterion. TAMC (2017)
Giorgio Audrito, Silvia Steila
Generic Large Cardinals and Systems of filters. J. Symb. Log. 82 (3) (2017)
Stefano Berardi, Silvia Steila
Ramsey's Theorem for Pairs and k Colors as a sub-Classical Principle of Arithmetic. J. Symb. Log. 82 (2) (2017)
Stefano Berardi, Silvia Steila
Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of Arithmetic. CoRR (2016)
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
The strength of the SCT criterion. CoRR (2016)
Silvia Steila, Keita Yokoyama
Reverse mathematical bounds for the Termination Theorem. Ann. Pure Appl. Log. 167 (12) (2016)
Stefano Berardi, Silvia Steila
An intuitionistic version of Ramsey's Theorem and its use in Program Termination. Ann. Pure Appl. Log. 166 (12) (2015)
Silvia Steila, Keita Yokoyama
Reverse Mathematical Bounds for the Termination Theorem. CoRR (2015)
Stefano Berardi, Paulo Oliva, Silvia Steila
Proving termination of programs having transition invariants of height ω. ICTCS (2014)
Stefano Berardi, Paulo Oliva, Silvia Steila
Proving termination with transition invariants of height omega. CoRR (2014)
Stefano Berardi, Silvia Steila
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations. RTA-TLCA (2014)
Silvia Steila
An Intuitionistic Analysis of Size-change Termination. TYPES (2014)
Stefano Berardi, Silvia Steila
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic. TYPES (2013)