Locally Consistent Transformations and Query Answering in Data Exchange Marcelo Arenas PUC Chile Pablo Barcel´o

Source URL: web.ing.puc.cl

• Applied mathematics
• Logic in computer science
• Rewriting
• Null
• Algorithm
• FO
• Theoretical computer science
• Mathematical logic
• Mathematics

Annals of Pure and Applied Logic[removed]–30 www.elsevier.com/locate/apal Game-based notions of locality over finite models! Marcelo Arenas a,∗ , Pablo Barcel´o b , Leonid Libkin c a Department of Computer Scien

Source URL: web.ing.puc.cl

• Theoretical computer science
• Finite model theory
• FO
• Age
• Interpretation
• Logical connective
• Model theory
• Logic
• Metalogic

Acció dels Cristians per l’Abolició de la Tortura Anglí, 55 – 08017 Barcelona Tel[removed]Fax: [removed] [removed] - http:://acat.pangea.org Barcel

Source URL: acat.pangea.org

REPRESENTACIÓN EN ESPAÑA Ref: Convocatoria COMM/MAD[removed]De los 116 proyectos recibidos, a continuación se detallan los 15 que han recibido la máxima puntuación y han sido seleccionados:  Universitat de Barcel

Source URL: ec.europa.eu