19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Josh Berdine
Organization: Microsoft Research
Web site: http://research.microsoft.com/~jjb
Pages in this Program
LPAR Accepted Papers
LPAR Accepted Papers with Abstracts
LPAR on Monday, December 16th, 2013
LPAR Program
LPAR Program Committee
Program
Program for Monday, December 16th, 2013