Login / Signup
Pedro Teixeira Yago
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Decision Procedures
High Dimensional
Functional Dependencies
Modal Logic
Top Venues
Log. J. IGPL
</>
Publications
</>
Giorgio Venturi
,
Pedro Teixeira Yago
Tableaux for essence and contingency.
Log. J. IGPL
29 (5) (2021)