Patrícia da Conceição Martins Engrácia
AuthID: R-001-ETS
1
TITLE: Computing Repairs from Active Integrity Constraints
AUTHORS: Luis Cruz-Filipe; Graca Gaspar; Patricia Engracia; Isabel Nunes;
PUBLISHED: 2013, SOURCE: 2013 International Symposium on Theoretical Aspects of Software Engineering
AUTHORS: Luis Cruz-Filipe; Graca Gaspar; Patricia Engracia; Isabel Nunes;
PUBLISHED: 2013, SOURCE: 2013 International Symposium on Theoretical Aspects of Software Engineering
INDEXED IN: 
CrossRef
CrossRef2
TITLE: THE BOUNDED FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
AUTHORS: Patricia Engracia; Fernando Ferreira ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, ISSUE: 2
AUTHORS: Patricia Engracia; Fernando Ferreira ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, ISSUE: 2
INDEXED IN: 
Scopus 
WOS
Scopus WOS