Emerson Sales

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 5

Top Topics

Situation Calculus

Decision Procedures

Top Venues

Publications

Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). TACAS (2) (2022)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Separability and harmony in ecumenical systems. CoRR (2022)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
A Pure View of Ecumenical Modalities. WoLLIC (2021)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Ecumenical Modal Logic. DaLí (2020)
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
Ecumenical modal logic. CoRR (2020)