BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Protzen:Martin

Contributed to:

CADE 19961996
CADE 19941994
CADE 19921992

Wrote 3 papers:

Patching Faulty Conjectures (MP), pp. 77–91.
CADE-1994-Protzen #generative #induction #lazy evaluation
Lazy Generation of Induction Hypotheses (MP), pp. 42–56.
Disproving Conjectures (MP), pp. 340–354.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.