Computational logic and applications, CLA ’05. Proceedings of the 3rd workshop, Chambéry, France, June 20‒21, 2005. (English)
Discrete Mathematics and Theoretical Computer Science. Proceedings AF. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). ii, 107~p., electronic. (2006).
The articles of this volume will be reviewed individually.