Nicolas C. H. Koh

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Reasoning Systems

Analogical Reasoning

Computer Programs

Top Venues

Publications

Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh
Constraint-Based Program Reasoning with Heaps and Separation. CP (2013)