Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers - WFLP 2009 (2009 : Brasilia, Brazil); Escobar, Santiago; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Logic programming -- Congresses; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computer Science