research

Publications

Studying provability in implicational intuitionistic logic: the formula tree approach

Electronic Notes in Theoretical Computer Science | 2002 | inproceedings

Publication

Year of publication: 2002

Volume : 67

Pages : 135-151

Month :

CMUP publication : Yes

Authors

L Damas