CRACS
About
Organization
Mission
Advisory Board
About
Organization
Mission
Advisory Board
Research
Theses
Research Lines
Publications
Projects
Internationalization
Theses
Research Lines
Publications
Projects
Internationalization
Members
Software
Communication
Newsroom
Opportunities
Reports
Contact
Newsroom
Opportunities
Reports
Contact
M.Sc. Theses
A Monotone Modal Logic for Algorithmic Statistics
Home
>
Theses
Completed
Thesis' Author:
Francisco Abreu Faro Mota
Course description:
MSc in Computer Science
Supervisor(s):
Luís Antunes (DCC-FCUP)
Co-supervisor(s):
André Souto