home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Please note:
This is a beta version of the new dblp website.
You can find the
classic dblp view of this page here
.
Martin Protzen
export records as
BibTeX
RDF
XML
RSS
dblp keys
ask others
Google
Google Scholar
MS Academic Search
ACM Digital Library
help us
contact dblp
Trier 2
Trier 1
Dagstuhl
by year
by type
classic-C
classic+C
-- show only --
Books and Theses
Journal Articles
Conference and Workshop Papers
Parts in Books or Collections
Editorship
Reference Works
Informal Publications
'90
1990 – 1999
see FAQ
What is the meaning of the colors in the publication list?
1996
[c3]
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/cade/Protzen96
ask others
Google
Google Scholar
MS Academic Search
PubZone
Martin Protzen
:
Patching Faulty Conjectures.
CADE 1996
: 77-91
1995
[b1]
no documents available
export record as
BibTeX
XML
dblp key:
books/daglib/0081596
ask others
Google
Google Scholar
MS Academic Search
PubZone
Martin Protzen
:
Lazy generation of induction hypotheses and patching faulty conjectures.
DISKI
98, Infix 1995, ISBN 978-3-89601-098-8, pp. 1-89
1994
[c2]
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/cade/Protzen94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Martin Protzen
:
Lazy Generation of Induction Hypotheses.
CADE 1994
: 42-56
1992
[c1]
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/cade/Protzen92
ask others
Google
Google Scholar
MS Academic Search
PubZone
Martin Protzen
:
Disproving Conjectures.
CADE 1992
: 340-354