Eduardo Hermo Reyes

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 6

Top Topics

Proof Theoretic

Formal Language

Sound And Complete Axiomatization

Top Venues

Advances in Modal Logic

Publications

Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten
UTC Time, Formally Verified. CPP (2024)
Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten
FV Time: a formally verified Coq library. CoRR (2022)
David Fernández-Duque, Eduardo Hermo Reyes
Deducibility and independence in Beklemishev's autonomous provability calculus. Inf. Comput. 287 (2022)
Eduardo Hermo Reyes, Joost J. Joosten
The Logic of Turing Progressions. Notre Dame J. Formal Log. 61 (1) (2020)
David Fernández-Duque, Eduardo Hermo Reyes
. WoLLIC (2019)
Eduardo Hermo Reyes, Joost J. Joosten
Relational Semantics for the Turing Schmerl Calculus. Advances in Modal Logic (2018)
Alyssa M. Adams, Hector Zenil, Eduardo Hermo Reyes, Joost J. Joosten
Interacting Behavior and Emerging Complexity. CoRR (2015)
Eduardo Hermo Reyes, Joost J. Joosten
The Selfish Algorithm. CoRR (2014)