Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

In Search of Elegance in the Theory and Practice of Computation: Essays dedicated to Peter Buneman

Finite Model Theory and Its Applications