Travelled to:1 × France
2 × USA
Collaborated with:∅
Talks about:conjectur (2) hypothes (1) generat (1) disprov (1) induct (1) faulti (1) patch (1) lazi (1)
Person: Martin Protzen
DBLP: Protzen:Martin
Contributed to:
199619941992Wrote 3 papers:
- CADE-1996-Protzen
- Patching Faulty Conjectures (MP), pp. 77–91.
- CADE-1994-Protzen #generative #induction #lazy evaluation
- Lazy Generation of Induction Hypotheses (MP), pp. 42–56.
- CADE-1992-Protzen
- Disproving Conjectures (MP), pp. 340–354.