Patrícia da Conceição Martins Engrácia
AuthID: R-001-ETS
1
TÃTULO: Computing Repairs from Active Integrity Constraints
AUTORES: Luis Cruz-Filipe; Graca Gaspar; Patricia Engracia; Isabel Nunes;
PUBLICAÇÃO: 2013, FONTE: 2013 International Symposium on Theoretical Aspects of Software Engineering
AUTORES: Luis Cruz-Filipe; Graca Gaspar; Patricia Engracia; Isabel Nunes;
PUBLICAÇÃO: 2013, FONTE: 2013 International Symposium on Theoretical Aspects of Software Engineering
INDEXADO EM: 
CrossRef
CrossRef2
TÃTULO: THE BOUNDED FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
AUTORES: Patricia Engracia; Fernando Ferreira ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, NÚMERO: 2
AUTORES: Patricia Engracia; Fernando Ferreira ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, NÚMERO: 2
INDEXADO EM: 
Scopus 
WOS
Scopus WOS