Welcome to the UPF Digital Repository

Browsing Articles (Departament de Tecnologies de la Informació i les Comunicacions) by Author "Carvalho, Catarina"

Browsing Articles (Departament de Tecnologies de la Informació i les Comunicacions) by Author "Carvalho, Catarina"

Sort by: Order: Results:

  • Carvalho, Catarina; Dalmau, Víctor; Krokhin, Andrei (Elsevier, 2010)
    We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of homomorphism dualities involving trees of ...

Search DSpace


Advanced Search

Browse

My Account

Compliant to Partaking