Patrícia Engrácia

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Functional Verification

Inclusion Dependencies

Concept Formation

Integrity Constraints

Top Venues

Ann. Pure Appl. Log.

Publications

Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes
Computing Repairs from Active Integrity Constraints. TASE (2013)
Patrícia Engrácia
The bounded functional interpretation of bar induction. Ann. Pure Appl. Log. 163 (9) (2012)
Patrícia Engrácia, Fernando Ferreira
The bounded functional interpretation of the double negation shift. J. Symb. Log. 75 (2) (2010)