in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010
Volume: abs/1009.3800, Pages: 07
Conference
26Th International Conference on Logic Programming, Iclp 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-Based Methods in Programming Environments - Ciclops-Wlpe 2010, Date: 15 July 2010 through 15 July 2010, Location: Edinburgh, Scotland, Sponsors: Engineering and Physical Sciences Research Council;hp invent;Microsoft Research;Association for Symbolic Logic;Google;et al