Barcel

Results: 54



#Item
41Combinatorics / Regular language / Symbol / String / EXPSPACE / Model theory / Structure / Regular expression / FO / Formal languages / Theoretical computer science / Mathematics

Parameterized Regular Expressions and Their Languages Pablo Barcel´oa , Juan Reutterb , Leonid Libkinb a Department of Computer Science, University of Chile b

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2013-06-07 12:09:44
42Information / Markup languages / Technical communication / XML / P-complete / Model theory / B-tree / Integrity constraints / Relational database / Computing / Data / Constraint programming

On Incomplete XML Documents with Integrity Constraints Pablo Barcel´ o1 , Leonid Libkin2 , and Juan Reutter2 1

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-12-15 16:03:34
43Formal languages / Metalogic / Computability theory / Automata theory / Model theory / Structure / Regular language / Decision problem / Reduction / Theoretical computer science / Mathematics / Applied mathematics

Graph Logics with Rational Relations and the Generalized Intersection Problem Pablo Barcel´o Diego Figueira

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2012-04-27 14:07:03
44Age / Model theory / FO / Finite model theory

Game-based Notions of Locality over Finite Models ∗ Marcelo Arenas Pablo Barcel´ o

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-11-22 07:28:18
45United Nations / United Nations General Assembly observers / OPEC / OPEC Fund for International Development

2nd GWOPA General Assembly - Call for new Steering Committee Members Barcelona, Spain on 29 November 2013 The 2nd General Assembly of the Global Water Operators’ Partnerships Alliance (GWOPA) will be convened in Barcel

Add to Reading List

Source URL: www.gwopa.org

Language: English - Date: 2013-11-19 11:39:59
46Telecommunications / Information science / Knowledge representation / Technical communication / Web services / XACML / Authorization / Semantic interoperability / Interoperability / Computing / Technology / Information

Using XACML for access control in Social Networks Anna Carreras, Eva Rodríguez, Jaime Delgado Distributed Multimedia Applications Group (DMAG) Universitat Politècnica de Catalunya (UPC) Jordi Girona 1-3, E[removed]Barcel

Add to Reading List

Source URL: www.w3.org

Language: English - Date: 2009-10-28 08:46:14
47Vectors / Abstract algebra / Compositional data / Introductory physics / Euclidean vector / Vector space / Vector / Norm / Sequence container / Algebra / Mathematics / Linear algebra

Statistical Analysis of Compositional Data Statistical Analysis of Compositional Data Carles Barcel´ o Vidal

Add to Reading List

Source URL: ima.udg.edu

Language: English - Date: 2005-10-17 11:15:00
48Datalog / Data exchange / Expressive power / Database schema / Conjunctive query / Data integration / Data management / Data / Information

Datalog as a Query Language for Data Exchange Systems Marcelo Arenas PUC Chile Joint work with Pablo Barcel´

Add to Reading List

Source URL: web.ing.puc.cl

Language: English - Date: 2013-04-26 05:45:30
49Combinatorics on words / Theoretical computer science / Structure / Universal algebra / Model theory / Regular language / String / Nondeterministic finite automaton / Admissible rule / Formal languages / Mathematics / Automata theory

Graph Logics with Rational Relations: The Role of Word Combinatorics Pablo Barcel´o Pablo Mu˜noz

Add to Reading List

Source URL: ciws.cl

Language: English - Date: 2014-05-04 09:47:46
50Mathematics / Logic / Logic in computer science / Mathematical logic / Rewriting

Locally Consistent Transformations and Query Answering in Data Exchange Marcelo Arenas U. of Toronto Pablo Barcel´

Add to Reading List

Source URL: web.ing.puc.cl

Language: English - Date: 2013-04-26 05:45:30
UPDATE