Pure and Applied Logic

Faculty working in this area:

Lastsort descending First Title Email
Brookes Stephen Professor brookes@cs.cmu.edu
Harper Robert Professor rwh@cs.cmu.edu
Heule Marijn Associate Professor mheule@andrew.cmu.edu
Pfenning Frank Professor fp@cs.cmu.edu
Platzer André Associate Professor aplatzer@cs.cmu.edu
Subscribe to Pure and Applied Logic