Matthew Might - DLS 2016

Tue 1 Nov 2016 Amsterdam, Netherlands

co-located with SPLASH 2016

Registered user since Mon 14 Oct 2019

Name:Matthew Might

Affiliation:University of Utah, USA

Contributions

2016

DLS

A Small Embedding of Logic Programming with a Simple Complete Search

Show activities from other conferences

SPLASH 2016-profile
View general profile