We stand with Ukraine  

Eduardo Hermo Reyes

Orcid: 0000-0002-8982-6030

Affiliations:
  • University of Barcelona, Spain (PhD 2019)


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
UTC Time, Formally Verified.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
David Fernández-Duque
,
Eduardo Hermo Reyes
Inf. Comput., 2022

FV Time: a formally verified Coq library.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Eduardo Hermo Reyes
,
Joost J. Joosten
Notre Dame J. Formal Log., 2020

2019
The Logic of Turing Progressions.
[BibTeX]
[DOI]
Eduardo Hermo Reyes
PhD thesis, 2019

A Self-contained Provability Calculus for Γ<sub>0</sub>.
[BibTeX]
[DOI]
David Fernández-Duque
,
Eduardo Hermo Reyes
Proceedings of the Logic, Language, Information, and Computation, 2019

2018
Relational Semantics for the Turing Schmerl Calculus.
[BibTeX]
[DOI]
Eduardo Hermo Reyes
,
Joost J. Joosten
Proceedings of the Advances in Modal Logic 12, 2018

2015
Interacting Behavior and Emerging Complexity.
[BibTeX]
[DOI]
Alyssa M. Adams
,
Hector Zenil
,
Eduardo Hermo Reyes
,
Joost J. Joosten
CoRR, 2015

2014
The Selfish Algorithm.
[BibTeX]
[DOI]
Eduardo Hermo Reyes
,
Joost J. Joosten
CoRR, 2014


  Loading...