We are gradually moving the dblp web pages to HTTPS, and you are still viewing this page via HTTP.
Please click here to switch to HTTPS.
default search action
combined dblp search
author search
venue search
publication search
Semantic Scholar search
Authors:
no matches
Venues:
no matches
Publications:
no matches
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
Archive of Formal Proofs, Volume 2004
help us
How can I correct errors in dblp?
contact dblp
Trier 1
Trier 2
Dagstuhl
>
Home
>
Journals
>
Archive of Formal Proofs
Volume 2004, 2004
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/Klein04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/Klein04
Gerwin Klein
:
Example Submission.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/NaraschewskiN04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/NaraschewskiN04
Wolfgang Naraschewski
,
Tobias Nipkow
:
Mini ML.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/NipkowP04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/NipkowP04
Tobias Nipkow
,
Cornelia Pusch
:
AVL Trees.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/Nipkow04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/Nipkow04
Tobias Nipkow
:
Functional Automata.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/Kuncak04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/Kuncak04
Viktor Kuncak
:
Binary Search Trees.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/Friedrich04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/Friedrich04
Stefan Friedrich
:
Lazy Lists II.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/Friedrich04a
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/Friedrich04a
Stefan Friedrich
:
Topology.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/KobayashiCM04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/KobayashiCM04
Hidetsune Kobayashi
,
L. Chen
,
Hirokazu Murao
:
Groups, Rings and Modules.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/NishiharaM04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/NishiharaM04
Toshiaki Nishihara
,
Yasuhiko Minamide
:
Depth First Search.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/Nipkow04a
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/Nipkow04a
Tobias Nipkow
:
Compiling Exceptions Correctly.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/Ridge04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/Ridge04
Tom Ridge
:
Ramsey's theorem, infinitary version.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/MargetsonR04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/MargetsonR04
James Margetson
,
Tom Ridge
:
Completeness theorem.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/Ridge04a
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/Ridge04a
Tom Ridge
:
A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/Richter04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/Richter04
Stefan Richter
:
Integration theory and random variables.
view
electronic edition @ isa-afp.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/afp/ZeeK04
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/afp/ZeeK04
Karen Zee
,
Viktor Kuncak
:
File Refinement.
maintained by
at
home
news
statistics
browse
persons
conferences
journals
series
search
search dblp
lookup by ID
about
f.a.q.
team
legal bits