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}
}
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.