Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/afp/ArmstrongSW13,
  author       = {Alasdair Armstrong and
                  Georg Struth and
                  Tjark Weber},
  title        = {Kleene Algebra},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Kleene\_Algebra.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/ArmstrongSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Benzmueller13,
  author       = {Christoph Benzmueller and
                  Bruno Woltzenlogel Paleo},
  title        = {G{\"{o}}del's God in Isabelle/HOL},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/GoedelGod.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Benzmueller13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Blanchette013,
  author       = {Jasmin Christian Blanchette and
                  Andrei Popescu},
  title        = {Sound and Complete Sort Encodings for First-Order Logic},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Sort\_Encodings.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Blanchette013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Breitner13,
  author       = {Joachim Breitner},
  title        = {The Correctness of Launchbury's Natural Semantics for Lazy Evaluation},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Launchbury.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Breitner13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/DivasonA13,
  author       = {Jose Divas{\'{o}}n and
                  Jes{\'{u}}s Aransay},
  title        = {Rank-Nullity Theorem in Linear Algebra},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Rank\_Nullity\_Theorem.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/DivasonA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Lammich13,
  author       = {Peter Lammich},
  title        = {Automatic Data Refinement},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Automatic\_Refinement.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Lammich13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Li13,
  author       = {Wenda Li},
  title        = {The K{\"{o}}nigsberg Bridge Problem and the Friendship Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Koenigsberg\_Friendship.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Li13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Lochbihler13,
  author       = {Andreas Lochbihler},
  title        = {Light-weight Containers},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Containers.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Lochbihler13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Lochbihler13a,
  author       = {Andreas Lochbihler},
  title        = {Native Word},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Native\_Word.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Lochbihler13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Noce13,
  author       = {Pasquale Noce},
  title        = {A General Method for the Proof of Theorems on Tail-recursive Functions},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Tail\_Recursive\_Functions.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Noce13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Noschinski13,
  author       = {Lars Noschinski},
  title        = {Graph Theory},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Graph\_Theory.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Noschinski13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Paulson13,
  author       = {Lawrence C. Paulson},
  title        = {G{\"{o}}del's Incompleteness Theorems},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Incompleteness.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Paulson13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Paulson13a,
  author       = {Lawrence C. Paulson},
  title        = {The Hereditarily Finite Sets},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/HereditarilyFinite.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Paulson13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Rizkallah13,
  author       = {Christine Rizkallah},
  title        = {An Axiomatic Characterization of the Single-Source Shortest Path Problem},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/ShortestPath.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Rizkallah13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Spichkova13,
  author       = {Maria Spichkova},
  title        = {Stream Processing Components: Isabelle/HOL Formalisation and Case
                  Studies},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/FocusStreamsCaseStudies.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Spichkova13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Thiemann13,
  author       = {Ren{\'{e}} Thiemann},
  title        = {Computing Square Roots using the Babylonian Method},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Sqrt\_Babylonian.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Thiemann13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Traytel13,
  author       = {Dmitriy Traytel},
  title        = {A Codatatype of Formal Languages},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Coinductive\_Languages.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Traytel13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Wickerson13,
  author       = {John Wickerson},
  title        = {Ribbon Proofs},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Ribbon\_Proofs.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Wickerson13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/WimmerN13,
  author       = {Simon Wimmer and
                  Lars Noschinski},
  title        = {Pratt's Primality Certificates},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Pratt\_Certificate.shtml},
  timestamp    = {Mon, 13 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/WimmerN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/WimmerN13a,
  author       = {Simon Wimmer and
                  Lars Noschinski},
  title        = {Lehmer's Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Lehmer.shtml},
  timestamp    = {Mon, 13 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/WimmerN13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Yu13,
  author       = {Lei Yu},
  title        = {A Formal Model of {IEEE} Floating Point Arithmetic},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/IEEE\_Floating\_Point.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Yu13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Zankl13,
  author       = {Harald Zankl},
  title        = {Decreasing Diagrams},
  journal      = {Arch. Formal Proofs},
  volume       = {2013},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Decreasing-Diagrams.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Zankl13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.