Browse by author - PSATTT'11 : International Workshop on Proof-Search in Axiomatic Theories and Type Theories Access content directly