Creating and sharing knowledge for telecommunications
CONCLUDED MSC THESIS

Information Flow Analysis for Logic Programs

João Ricardo Sares Teles de Matos
Supervisors: Ana Gualdina Almeida Matos, Jan Gunnar Cederquist
University: Instituto Superior Técnico
Keywords: