Proof search techniques for the decision of lattice logics

Student

Student name
Matheus Pereira Lobo
Graduation type
PhD
Type/Program
External

Thesis

Thesis start date
2021

Advisors

Internal Advisor(s)
External Advisor(s)
Gilda Ferreira