Eduardo Hermo Reyes

According to our database, Eduardo Hermo Reyes authored at least 9 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

UTC Time, Formally Verified.

Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

Deducibility and independence in Beklemishev's autonomous provability calculus.

David Fernández-Duque, Eduardo Hermo Reyes

Inf. Comput., 2022

FV Time: a formally verified Coq library.

Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten

CoRR, 2022

2020

The Logic of Turing Progressions.

Eduardo Hermo Reyes, Joost J. Joosten

Notre Dame J. Formal Log., 2020

2019

The Logic of Turing Progressions.

Eduardo Hermo Reyes

PhD thesis, 2019

A Self-contained Provability Calculus for Γ₀.

David Fernández-Duque, Eduardo Hermo Reyes

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Relational Semantics for the Turing Schmerl Calculus.

Eduardo Hermo Reyes, Joost J. Joosten

Proceedings of the Advances in Modal Logic 12, 2018

2015

Interacting Behavior and Emerging Complexity.

Alyssa M. Adams, Hector Zenil, Eduardo Hermo Reyes, Joost J. Joosten

CoRR, 2015

2014

The Selfish Algorithm.

Eduardo Hermo Reyes, Joost J. Joosten

CoRR, 2014