Login / Signup
Leonardo Pacheco
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Formal Language
Game Players
Single Frame
Algebraic Structure
Top Venues
CoRR
WoLLIC
</>
Publications
</>
Leonardo Pacheco
Game semantics for the constructive μ-calculus.
CoRR
(2023)
Leonardo Pacheco
,
Kazuyuki Tanaka
The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames.
WoLLIC
(2022)