Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/afp/Bentkamp15,
  author       = {Alexander Bentkamp},
  title        = {Latin Square},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Latin\_Square.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Bentkamp15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Breitner15,
  author       = {Joachim Breitner},
  title        = {The Safety of Call Arity},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Call\_Arity.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Breitner15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Bulwahn15,
  author       = {Lukas Bulwahn},
  title        = {Derangements Formula},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Derangements.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Bulwahn15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Bulwahn15a,
  author       = {Lukas Bulwahn},
  title        = {Euler's Partition Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Euler\_Partition.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Bulwahn15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Bulwahn15b,
  author       = {Lukas Bulwahn},
  title        = {Cardinality of Set Partitions},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Card\_Partitions.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Bulwahn15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/CaminatiK0R15,
  author       = {Marco B. Caminati and
                  Manfred Kerber and
                  Christoph Lange and
                  Colin Rowat},
  title        = {{VCG} - Combinatorial Vickrey-Clarke-Groves Auctions},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Vickrey\_Clarke\_Groves.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/CaminatiK0R15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Dittmann15,
  author       = {Christoph Dittmann},
  title        = {Positional Determinacy of Parity Games},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Parity\_Game.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Dittmann15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/DivasonA15,
  author       = {Jose Divas{\'{o}}n and
                  Jes{\'{u}}s Aransay},
  title        = {{QR} Decomposition},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/QR\_Decomposition.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/DivasonA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/DivasonA15a,
  author       = {Jose Divas{\'{o}}n and
                  Jes{\'{u}}s Aransay},
  title        = {Echelon Form},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Echelon\_Form.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/DivasonA15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/DivasonA15b,
  author       = {Jose Divas{\'{o}}n and
                  Jes{\'{u}}s Aransay},
  title        = {Hermite Normal Form},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Hermite.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/DivasonA15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl15,
  author       = {Manuel Eberl},
  title        = {The Akra-Bazzi theorem and the Master theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Akra\_Bazzi.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl15a,
  author       = {Manuel Eberl},
  title        = {Landau Symbols},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Landau\_Symbols.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl15b,
  author       = {Manuel Eberl},
  title        = {Descartes' Rule of Signs},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Descartes\_Sign\_Rule.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl15c,
  author       = {Manuel Eberl},
  title        = {The Divergence of the Prime Harmonic Series},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Prime\_Harmonic\_Series.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl15c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl15d,
  author       = {Manuel Eberl},
  title        = {Basic Geometric Properties of Triangles},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Triangle.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl15d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl15e,
  author       = {Manuel Eberl},
  title        = {Liouville numbers},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Liouville\_Numbers.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl15e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

@article{DBLP:journals/afp/FurusawaS15,
  author       = {Hitoshi Furusawa and
                  Georg Struth},
  title        = {Binary Multirelations},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Multirelations.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/FurusawaS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Gammie15,
  author       = {Peter Gammie},
  title        = {Concurrent {IMP}},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/ConcurrentIMP.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Gammie15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/GammieHE15,
  author       = {Peter Gammie and
                  Tony Hosking and
                  Kai Engelhardt},
  title        = {Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/ConcurrentGC.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/GammieHE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/GammieL15,
  author       = {Peter Gammie and
                  Andreas Lochbihler},
  title        = {The Stern-Brocot Tree},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Stern\_Brocot.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/GammieL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/GomesS15,
  author       = {Victor B. F. Gomes and
                  Georg Struth},
  title        = {Residuated Lattices},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Residuated\_Lattices.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/GomesS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Holzl15,
  author       = {Johannes H{\"{o}}lzl},
  title        = {Verification of the UpDown Scheme},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/UpDown\_Scheme.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Holzl15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/HolzlLT15,
  author       = {Johannes H{\"{o}}lzl and
                  Andreas Lochbihler and
                  Dmitriy Traytel},
  title        = {A Zoo of Probabilistic Systems},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Probabilistic\_System\_Zoo.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/HolzlLT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

@article{DBLP:journals/afp/LochbihlerS15,
  author       = {Andreas Lochbihler and
                  Joshua Schneider},
  title        = {Applicative Lifting},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Applicative\_Lifting.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/LochbihlerS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/MaricS15,
  author       = {Ognjen Maric and
                  Christoph Sprenger},
  title        = {Consensus Refined},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Consensus\_Refined.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/MaricS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

@article{DBLP:journals/afp/Noce15,
  author       = {Pasquale Noce},
  title        = {Reasoning about Lists via List Interleaving},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/List\_Interleaving.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Noce15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Noce15a,
  author       = {Pasquale Noce},
  title        = {The Ipurge Unwinding Theorem for {CSP} Noninterference Security},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Noninterference\_Ipurge\_Unwinding.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Noce15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Noce15b,
  author       = {Pasquale Noce},
  title        = {The Generic Unwinding Theorem for {CSP} Noninterference Security},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Noninterference\_Generic\_Unwinding.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Noce15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Noce15c,
  author       = {Pasquale Noce},
  title        = {The Inductive Unwinding Theorem for {CSP} Noninterference Security},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Noninterference\_Inductive\_Unwinding.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Noce15c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Noschinski15,
  author       = {Lars Noschinski},
  title        = {Generating Cases from Labeled Subgoals},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Case\_Labeling.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Noschinski15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Paulson15,
  author       = {Lawrence C. Paulson},
  title        = {Finite Automata in Hereditarily Finite Set Theory},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Finite\_Automata\_HF.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Paulson15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/PetersG15,
  author       = {Kirstin Peters and
                  Rob J. van Glabbeek},
  title        = {Analysing and Comparing Encodability Criteria for Process Calculi},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Encodability\_Process\_Calculi.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/PetersG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Sickert15,
  author       = {Salomon Sickert},
  title        = {Converting Linear Temporal Logic to Deterministic (Generalised) Rabin
                  Automata},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/LTL\_to\_DRA.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Sickert15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/SternagelT15,
  author       = {Christian Sternagel and
                  Ren{\'{e}} Thiemann},
  title        = {Deriving class instances for datatypes},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Deriving.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/SternagelT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Sylvestre15,
  author       = {Jeremy Sylvestre},
  title        = {Representations of Finite Groups},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Rep\_Fin\_Groups.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Sylvestre15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Thiemann015,
  author       = {Ren{\'{e}} Thiemann and
                  Akihisa Yamada},
  title        = {Algebraic Numbers in Isabelle/HOL},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Algebraic\_Numbers.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Thiemann015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/ThiemannY15,
  author       = {Ren{\'{e}} Thiemann and
                  Akihisa Yamada},
  title        = {Matrices, Jordan Normal Forms, and Spectral Radius Theory},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Jordan\_Normal\_Form.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/ThiemannY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Traytel15,
  author       = {Dmitriy Traytel},
  title        = {Derivatives of Logical Formulas},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Formula\_Derivatives.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Traytel15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/TuongW15,
  author       = {Fr{\'{e}}d{\'{e}}ric Tuong and
                  Burkhart Wolff},
  title        = {A Meta-Model for the Isabelle {API}},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015},
  url          = {https://www.isa-afp.org/entries/Isabelle\_Meta\_Model.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/TuongW15.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.