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