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
.
C. Paulin
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 1
Trier 2
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?
1999
[e1]
no documents available
export record as
BibTeX
XML
dblp key:
conf/tphol/1999
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yves Bertot
,
Gilles Dowek
,
André Hirschowitz
,
C. Paulin
,
Laurent Théry
(Eds.):
Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings.
Lecture Notes in Computer Science
1690,
Springer 1999
, ISBN 3-540-66463-7
Coauthor Index
see FAQ
What is the meaning of the colors in the coauthor index?
1
Yves Bertot
[e1]
2
Gilles Dowek
[e1]
3
André Hirschowitz
[e1]
4
Laurent Théry
[e1]