Search dblp for Publications

export results for "toc:db/journals/afp/afp2004.bht:"

 download as .bib file

@article{DBLP:journals/afp/Friedrich04,
  author       = {Stefan Friedrich},
  title        = {Lazy Lists {II}},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Lazy-Lists-II.shtml},
  timestamp    = {Mon, 22 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Friedrich04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Friedrich04a,
  author       = {Stefan Friedrich},
  title        = {Topology},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Topology.shtml},
  timestamp    = {Mon, 22 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Friedrich04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Klein04,
  author       = {Gerwin Klein},
  title        = {Example Submission},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Example-Submission.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Klein04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/KobayashiCM04,
  author       = {Hidetsune Kobayashi and
                  L. Chen and
                  Hirokazu Murao},
  title        = {Groups, Rings and Modules},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Group-Ring-Module.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/KobayashiCM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Kuncak04,
  author       = {Viktor Kuncak},
  title        = {Binary Search Trees},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/BinarySearchTree.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Kuncak04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/MargetsonR04,
  author       = {James Margetson and
                  Tom Ridge},
  title        = {Completeness theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Completeness.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/MargetsonR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/NaraschewskiN04,
  author       = {Wolfgang Naraschewski and
                  Tobias Nipkow},
  title        = {Mini {ML}},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/MiniML.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/NaraschewskiN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Nipkow04,
  author       = {Tobias Nipkow},
  title        = {Functional Automata},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Functional-Automata.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Nipkow04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Nipkow04a,
  author       = {Tobias Nipkow},
  title        = {Compiling Exceptions Correctly},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Compiling-Exceptions-Correctly.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Nipkow04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/NipkowP04,
  author       = {Tobias Nipkow and
                  Cornelia Pusch},
  title        = {{AVL} Trees},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/AVL-Trees.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/NipkowP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/NishiharaM04,
  author       = {Toshiaki Nishihara and
                  Yasuhiko Minamide},
  title        = {Depth First Search},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Depth-First-Search.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/NishiharaM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Richter04,
  author       = {Stefan Richter},
  title        = {Integration theory and random variables},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Integration.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Richter04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Ridge04,
  author       = {Tom Ridge},
  title        = {Ramsey's theorem, infinitary version},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Ramsey-Infinite.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Ridge04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Ridge04a,
  author       = {Tom Ridge},
  title        = {A Mechanically Verified, Efficient, Sound and Complete Theorem Prover
                  For First Order Logic},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/Verified-Prover.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Ridge04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/ZeeK04,
  author       = {Karen Zee and
                  Viktor Kuncak},
  title        = {File Refinement},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/FileRefinement.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/ZeeK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.