![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/afp/afp2015.bht:"
@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 = {Sun, 04 Aug 2024 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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.