Map of Premises
Publications
Closed Types for Logic Programming
Title
Closed Types for Logic Programming
Type
Thesis
Year
2016-09-06
Authors
João Luís Alves Barbosa
(Author)
FCUP
View Personal Page
You do not have permissions to view the institutional email.
Search for Participant Publications
Without AUTHENTICUS
Without ORCID
Thesis
Scientific classification
FOS:
Natural sciences
Other information
Language:
English
License type:
Documents
| File name | Description | Size |
|---|---|---|
| Thesis | Closed Types for Logic Programming | 475.13 KB |
Related Publications
Of the same authors
Of the same scientific areas
π···π interactions in aromatic systems: effect of distance and molecular size (2023)
Thesis
Nuno Alexandre Sousa Dias
Thesis
Nuno Alexandre Sousa Dias
β3 adrenoceptor-mediated inhibition of the rat urinary bladder function: involvement of EPAC and protein kinase C downstream intracellular cyclic AMP production (2018)
Thesis
Diogo Alexandre Rocha e Silva
Thesis
Diogo Alexandre Rocha e Silva
α-Ketoglutarate, amino acid homeostasis and lifespan in a yeast model of Niemann-Pick type C1 (2021)
Thesis
Rafaela Silva Costa
Thesis
Rafaela Silva Costa
“Quando ar é usado na oxidação do ferro?”: uma proposta de atividade prática para o Ensino Básico. Mini bobina de Tesla: uma proposta didática de atividade experimental para o Ensino Secundário. (2020)
Thesis
Aline Patriota Pereira
Thesis
Aline Patriota Pereira
“Adapting Wine Tourism to a changing world”: case study at Bodegas Valdemar. (2021)
Thesis
Ignacio Videla Bonfanti
Thesis
Ignacio Videla Bonfanti
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-08-28 at 16:26:30 | Privacy Policy | Personal Data Protection Policy | Whistleblowing
Page created on: 2025-08-28 at 16:26:30 | Privacy Policy | Personal Data Protection Policy | Whistleblowing