Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Carlos Areces

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Santiago Figueira

> Home > Persons > Carlos Areces

Publications

2015
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/FigueiraFA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/FigueiraFA15
Diego Figueira, Santiago Figueira, Carlos Areces:
Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. J. Artif. Intell. Res. 53: 271-314 (2015)
2014
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ArecesCF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ArecesCF14
Carlos Areces, Facundo Carreiro, Santiago Figueira:
Characterization, definability and separation via saturated models. Theor. Comput. Sci. 537: 72-86 (2014)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/FigueiraFA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/FigueiraFA14
Diego Figueira, Santiago Figueira, Carlos Areces:
Basic Model Theory of XPath on Data Trees. ICDT 2014: 50-60
2012
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ArecesFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ArecesFM12
Carlos Areces, Santiago Figueira, Sergio Mera:
Completeness results for memory logics. Ann. Pure Appl. Log. 163(7): 961-972 (2012)
2011
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/ArecesFFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/ArecesFFM11
Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera:
The Expressive Power of Memory Logics. Rev. Symb. Log. 4(2): 290-318 (2011)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/lacl/ArecesFG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lacl/ArecesFG11
Carlos Areces, Santiago Figueira, Daniel Gorín:
Using Logic in the Generation of Referring Expressions. LACL 2011: 17-32
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/ArecesCFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/ArecesCFM11
Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera:
Basic Model Theory for Memory Logics. WoLLIC 2011: 20-34
2010
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1006-4621
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-4621
Carlos Areces, Santiago Figueira, Daniel Gorín:
The Question of Expressiveness in the Generation of Referring Expressions. CoRR abs/1006.4621 (2010)
2009
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/ArecesFM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/ArecesFM09
Carlos Areces, Santiago Figueira, Sergio Mera:
Completeness Results for Memory Logics. LFCS 2009: 16-30
2008
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/ArecesFFM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/ArecesFFM08
Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera:
Expressive Power and Decidability for Memory Logics. WoLLIC 2008: 56-68

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.