Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10230/36351
Título: | Datalog and constraint satisfaction with infinite templates |
---|---|
Autor/a: | Bodirsky, Manuel; Dalmau, Víctor |
Abstract: | |
Abstract: | |
Materia(s): | -Logic in computer science -Computational complexity -Constraint satisfaction -Datalog -Countably categorical structures |
Derechos: | © Elsevier http://dx.doi.org/10.1016/j.jcss.2012.05.012 |
Tipo de documento: | Artículo Artículo - Versión aceptada |
Editor: | Elsevier |
Compartir: |