Patrícia Engrácia

According to our database, Patrícia Engrácia authored at least 3 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Computing Repairs from Active Integrity Constraints.

Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2012

The bounded functional interpretation of bar induction.

Patrícia Engrácia

Ann. Pure Appl. Log., 2012

2010

The bounded functional interpretation of the double negation shift.

Patrícia Engrácia, Fernando Ferreira

J. Symb. Log., 2010