This page shows all presentations of this author published in EasyChair Smart Slide.
Automated Reasoning from Polarized Parse Trees
Hai Hu, Thomas Icard and Larry Moss