Archive of Formal Proofs, Volume 2004

> Home > Journals > Archive of Formal Proofs

Volume 2004, 2004

- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/Klein04
- ask others
Gerwin Klein:
Example Submission.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/NaraschewskiN04
- ask others
Wolfgang Naraschewski, Tobias Nipkow:
Mini ML.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/NipkowP04
- ask others
Tobias Nipkow, Cornelia Pusch:
AVL Trees.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/Nipkow04
- ask others
Tobias Nipkow:
Functional Automata.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/Kuncak04
- ask others
Viktor Kuncak:
Binary Search Trees.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/Friedrich04
- ask others
Stefan Friedrich:
Lazy Lists II.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/Friedrich04a
- ask others
Stefan Friedrich:
Topology.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/KobayashiCM04
- ask others
Hidetsune Kobayashi, L. Chen, Hirokazu Murao:
Groups, Rings and Modules.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/NishiharaM04
- ask others
Toshiaki Nishihara, Yasuhiko Minamide:
Depth First Search.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/Nipkow04a
- ask others
Tobias Nipkow:
Compiling Exceptions Correctly.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/Ridge04
- ask others
Tom Ridge:
Ramsey's theorem, infinitary version.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/MargetsonR04
- ask others
James Margetson, Tom Ridge:
Completeness theorem.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/Ridge04a
- ask others
Tom Ridge:
A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/Richter04
- ask others
Stefan Richter:
Integration theory and random variables.
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/afp/ZeeK04
- ask others
Karen Zee, Viktor Kuncak:
File Refinement.