Found 3 Documents (Results 1–3)
Datalog and constraint satisfaction with infinite templates. (English) Zbl 1136.03314
Durand, Bruno (ed.) et al., STACS 2006. 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23–25, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-32301-3/pbk). Lecture Notes in Computer Science 3884, 646-659 (2006).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (1)
Author
- Dalmau, Víctor (3)
- Bodirsky, Manuel (2)
Serial
Software
- Datalog (3)