ask others

Archive of Formal Proofs, Volume 2004

> Home > Journals > Archive of Formal Proofs

Volume 2004, 2004

- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Klein04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Klein04
Gerwin Klein:
Example Submission.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/NaraschewskiN04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/NaraschewskiN04
Wolfgang Naraschewski, Tobias Nipkow:
Mini ML.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/NipkowP04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/NipkowP04
Tobias Nipkow, Cornelia Pusch:
AVL Trees.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Nipkow04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Nipkow04
Tobias Nipkow:
Functional Automata.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Kuncak04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Kuncak04
Viktor Kuncak:
Binary Search Trees.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Friedrich04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Friedrich04
Stefan Friedrich:
Lazy Lists II.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Friedrich04a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Friedrich04a
Stefan Friedrich:
Topology.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/KobayashiCM04
- ask others
- share record
  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
  dblp key:
  - journals/afp/NishiharaM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/NishiharaM04
Toshiaki Nishihara, Yasuhiko Minamide:
Depth First Search.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Nipkow04a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Nipkow04a
Tobias Nipkow:
Compiling Exceptions Correctly.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Ridge04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Ridge04
Tom Ridge:
Ramsey's theorem, infinitary version.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/MargetsonR04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/MargetsonR04
James Margetson, Tom Ridge:
Completeness theorem.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/Ridge04a
- ask others
- share record
  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
  dblp key:
  - journals/afp/Richter04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/Richter04
Stefan Richter:
Integration theory and random variables.
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/ZeeK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/ZeeK04
Karen Zee, Viktor Kuncak:
File Refinement.

maintained by

at