Martin Protzen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996

3 Martin Protzen: Patching Faulty Conjectures. CADE 1996: 77-91

1994

2 Martin Protzen: Lazy Generation of Induction Hypotheses. CADE 1994: 42-56

1992

1 Martin Protzen: Disproving Conjectures. CADE 1992: 340-354

1996
3		Martin Protzen: Patching Faulty Conjectures. CADE 1996: 77-91
1994
2		Martin Protzen: Lazy Generation of Induction Hypotheses. CADE 1994: 42-56
1992
1		Martin Protzen: Disproving Conjectures. CADE 1992: 340-354