Publications

Towards a Study of Meta-Predicate Semantics

AuthID
P-008-FT0

Author(s)

Moura, P

Document Type

Proceedings Paper

Year published

2010

Published

in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010

Volume: abs/1009.3773, Pages: 04

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

Indexing