Not registered as user yet

Name: Jonathan Fruhman

Affiliation: CUNY Brooklyn College

Contributions

PADL 2017Author of Canonicalizing High-Level Constructs in Picat within the PADL-track