We stand with Ukraine  

Leonardo Pacheco

Orcid: 0000-0002-7703-7990

According to our database1, Leonardo Pacheco authored at least 6 papers between 2022 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics.
[BibTeX]
[DOI]
Leonardo Pacheco
CoRR, November, 2025

Intuitionistic Gödel-Löb without Sharps.
[BibTeX]
[DOI]
Juan P. Aguilera
,
Leonardo Pacheco
ACM Trans. Comput. Log., October, 2025

2024
Collapsing Constructive and Intuitionistic Modal Logics.
[BibTeX]
[DOI]
Leonardo Pacheco
CoRR, 2024

Higher-Order Feedback Computation.
[BibTeX]
[DOI]
Juan P. Aguilera
,
Robert S. Lubarsky
,
Leonardo Pacheco
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023
Game semantics for the constructive μ-calculus.
[BibTeX]
[DOI]
Leonardo Pacheco
CoRR, 2023

2022
The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames.
[BibTeX]
[DOI]
Leonardo Pacheco
,
Kazuyuki Tanaka
Proceedings of the Logic, Language, Information, and Computation, 2022


  Loading...