11. CADE 1992: Saratoga Springs, NY, USA

Session I: Keynote Address

Session II

Session III A

Session III B

Session IV

Session V: Banquet Address

Session VI

Session VII

Session VIII A

Session VIII B

Session IX

Session X: Invited Talk

Grigori Mints: Proof Search Theory and Practice in the (former) USSR. 461 (Title only, no abstract or article in the proceedings)

Session XI

Session XII A

Session XII B

Session XIII

System Abstracts

Problem Sets