Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/afp/AbdulazizK20,
  author       = {Mohammad Abdulaziz and
                  Friedrich Kurz},
  title        = {Verified SAT-Based {AI} Planning},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Verified\_SAT\_Based\_AI\_Planning.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/AbdulazizK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/AbdulazizL20,
  author       = {Mohammad Abdulaziz and
                  Peter Lammich},
  title        = {{AI} Planning Languages Semantics},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/AI\_Planning\_Languages\_Semantics.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/AbdulazizL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Argyraki20,
  author       = {Angeliki Koutsoukou{-}Argyraki},
  title        = {Amicable Numbers},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Amicable\_Numbers.html},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Argyraki20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/ArgyrakiL20,
  author       = {Angeliki Koutsoukou{-}Argyraki and
                  Wenda Li},
  title        = {Irrationality Criteria for Series by Erd{\H{o}}s and Straus},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Irrational\_Series\_Erdos\_Straus.html},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/ArgyrakiL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Balbach20,
  author       = {Frank J. Balbach},
  title        = {Some classical results in inductive inference of recursive functions},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Inductive\_Inference.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Balbach20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BlanchetteT20,
  author       = {Jasmin Blanchette and
                  Sophie Tourret},
  title        = {Extensions to the Comprehensive Framework for Saturation Theorem Proving},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Saturation\_Framework\_Extensions.html},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/BlanchetteT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BordgLH20,
  author       = {Anthony Bordg and
                  Hanna Lachnitt and
                  Yijun He},
  title        = {Isabelle Marries Dirac: a Library for Quantum Computation and Quantum
                  Information},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Isabelle\_Marries\_Dirac.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/BordgLH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BruckerH20,
  author       = {Achim D. Brucker and
                  Michael Herzberg},
  title        = {The Safely Composable {DOM}},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Core\_SC\_DOM.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/BruckerH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BruckerH20a,
  author       = {Achim D. Brucker and
                  Michael Herzberg},
  title        = {A Formalization of Safely Composable Web Components},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/SC\_DOM\_Components.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/BruckerH20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BruckerH20b,
  author       = {Achim D. Brucker and
                  Michael Herzberg},
  title        = {A Formal Model of the Safely Composable Document Object Model with
                  Shadow Roots},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Shadow\_SC\_DOM.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/BruckerH20b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BruckerH20c,
  author       = {Achim D. Brucker and
                  Michael Herzberg},
  title        = {A Formalization of Web Components},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/DOM\_Components.html},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/BruckerH20c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BruckerH20d,
  author       = {Achim D. Brucker and
                  Michael Herzberg},
  title        = {A Formal Model of the Document Object Model with Shadow Roots},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Shadow\_DOM.html},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/BruckerH20d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Caballero20,
  author       = {Jos{\'{e}} Manuel Rodr{\'{\i}}guez Caballero},
  title        = {Arithmetic progressions and relative primes},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Arith\_Prog\_Rel\_Primes.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Caballero20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/DardinierHRST20,
  author       = {Thibault Dardinier and
                  Lukas Heimes and
                  Martin Raszyk and
                  Joshua Schneider and
                  Dmitriy Traytel},
  title        = {Formalization of an Optimized Monitoring Algorithm for Metric First-Order
                  Dynamic Logic with Aggregations},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/MFODL\_Monitor\_Optimized.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/DardinierHRST20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Desharnais20,
  author       = {Martin Desharnais},
  title        = {A Generic Framework for Verified Compilers},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/VeriComp.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Desharnais20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Desharnais20a,
  author       = {Martin Desharnais},
  title        = {Inline Caching and Unboxing Optimization for Interpreters},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Interpreter\_Optimizations.html},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Desharnais20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Diaz20,
  author       = {Javier D{\'{\i}}az},
  title        = {Finite Map Extras},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Finite-Map-Extras.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Diaz20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/DiekmannH20,
  author       = {Cornelius Diekmann and
                  Lars Hupel},
  title        = {Hello World},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Hello\_World.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/DiekmannH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Divason20,
  author       = {Jose Divas{\'{o}}n},
  title        = {A verified algorithm for computing the Smith normal form of a matrix},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Smith\_Normal\_Form.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Divason20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Dunaev20,
  author       = {Georgy Dunaev},
  title        = {Recursion Theorem in {ZF}},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Recursion-Addition.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Dunaev20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl20,
  author       = {Manuel Eberl},
  title        = {Mersenne primes and the Lucas-Lehmer test},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Mersenne\_Primes.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl20a,
  author       = {Manuel Eberl},
  title        = {Furstenberg's topology and his proof of the infinitude of primes},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Furstenberg\_Topology.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl20b,
  author       = {Manuel Eberl},
  title        = {Gaussian Integers},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Gaussian\_Integers.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl20b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl20c,
  author       = {Manuel Eberl},
  title        = {The Lambert {W} Function on the Reals},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Lambert\_W.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl20c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl20d,
  author       = {Manuel Eberl},
  title        = {Power Sum Polynomials},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Power\_Sum\_Polynomials.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl20d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Edmonds20,
  author       = {Chelsea Edmonds},
  title        = {Lucas's Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Lucas\_Theorem.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Edmonds20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/EssmannNR20,
  author       = {Robin E{\ss}mann and
                  Tobias Nipkow and
                  Simon Robillard},
  title        = {Verified Approximation Algorithms},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Approximation\_Algorithms.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/EssmannNR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Felgenhauer20,
  author       = {Bertram Felgenhauer},
  title        = {Implementing the Goodstein Function in {\(\lambda\)}-Calculus},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Goodstein\_Lambda.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Felgenhauer20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/FiedlerT20,
  author       = {Ben Fiedler and
                  Dmitriy Traytel},
  title        = {A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Chandy\_Lamport.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/FiedlerT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/FleuryK20,
  author       = {Mathias Fleury and
                  Daniela Kaufmann},
  title        = {Practical Algebraic Calculus Checker},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/PAC\_Checker.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/FleuryK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/FosterBTD20,
  author       = {Michael Foster and
                  Achim D. Brucker and
                  Ramsay G. Taylor and
                  John Derrick},
  title        = {Inference of Extended Finite State Machines},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Extended\_Finite\_State\_Machine\_Inference.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/FosterBTD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/FosterBTD20a,
  author       = {Michael Foster and
                  Achim D. Brucker and
                  Ramsay G. Taylor and
                  John Derrick},
  title        = {A Formal Model of Extended Finite State Machines},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Extended\_Finite\_State\_Machines.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/FosterBTD20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/FosterW20,
  author       = {Simon Foster and
                  Burkhart Wolff},
  title        = {A Sound Type System for Physical Quantities, Units, and Measurements},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Physical\_Quantities.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/FosterW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Fuenmayor20,
  author       = {David Fuenmayor},
  title        = {Topological semantics for paraconsistent and paracomplete logics},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Topological\_Semantics.html},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Fuenmayor20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Gammie20,
  author       = {Peter Gammie},
  title        = {Putting the 'K' into Bird's derivation of Knuth-Morris-Pratt string
                  matching},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/BirdKMP.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Gammie20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/GuntherPT20,
  author       = {Emmanuel Gunther and
                  Miguel Pagano and
                  Pedro S{\'{a}}nchez Terraf},
  title        = {Formalization of Forcing in Isabelle/ZF},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Forcing.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/GuntherPT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Guttmann20,
  author       = {Walter Guttmann},
  title        = {Relational Disjoint-Set Forests},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Relational\_Disjoint\_Set\_Forests.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Guttmann20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/GuttmannH20,
  author       = {Walter Guttmann and
                  Peter H{\"{o}}fner},
  title        = {Relational Characterisations of Paths},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Relational\_Paths.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/GuttmannH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/GuttmannM20,
  author       = {Walter Guttmann and
                  Bernhard M{\"{o}}ller},
  title        = {A Hierarchy of Algebras for Boolean Subsets},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Subset\_Boolean\_Algebras.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/GuttmannM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/GuttmannR20,
  author       = {Walter Guttmann and
                  Nicolas Robinson{-}O'Brien},
  title        = {Relational Minimum Spanning Tree Algorithms},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Relational\_Minimum\_Spanning\_Trees.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/GuttmannR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/HaslbeckE20,
  author       = {Max W. Haslbeck and
                  Manuel Eberl},
  title        = {Skip Lists},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Skip\_Lists.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/HaslbeckE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/HeimesTS20,
  author       = {Lukas Heimes and
                  Dmitriy Traytel and
                  Joshua Schneider},
  title        = {Formalization of an Algorithm for Greedily Computing Associative Aggregations
                  on Sliding Windows},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Sliding\_Window\_Algorithm.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/HeimesTS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/HessMB20,
  author       = {Andreas V. Hess and
                  Sebastian M{\"{o}}dersheim and
                  Achim D. Brucker},
  title        = {Stateful Protocol Composition and Typing},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Stateful\_Protocol\_Composition\_and\_Typing.html},
  timestamp    = {Tue, 07 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/HessMB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/HessMBS20,
  author       = {Andreas V. Hess and
                  Sebastian M{\"{o}}dersheim and
                  Achim D. Brucker and
                  Anders Schlichtkrull},
  title        = {Automated Stateful Protocol Verification},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Automated\_Stateful\_Protocol\_Verification.html},
  timestamp    = {Tue, 07 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/HessMBS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Kammueller20,
  author       = {Florian Kammueller},
  title        = {Attack Trees in Isabelle for {GDPR} compliance of IoT healthcare systems},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Attack\_Trees.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Kammueller20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/KarayelG20,
  author       = {Emin Karayel and
                  Edgar Gonz{\`{a}}lez},
  title        = {Strong Eventual Consistency of the Collaborative Editing Framework
                  {WOOT}},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/WOOT\_Strong\_Eventual\_Consistency.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/KarayelG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/LochbihlerM20,
  author       = {Andreas Lochbihler and
                  Ognjen Maric},
  title        = {Authenticated Data Structures As Functors},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/ADS\_Functor.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/LochbihlerM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Munive20,
  author       = {Jonathan Juli{\'{a}}n Huerta y Munive},
  title        = {Matrices for ODEs},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Matrices\_for\_ODEs.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Munive20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Murray20,
  author       = {Toby Murray},
  title        = {An Under-Approximate Relational Logic},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Relational-Incorrectness-Logic.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Murray20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Noce20,
  author       = {Pasquale Noce},
  title        = {The Relational Method with Message Anonymity for the Verification
                  of Cryptographic Protocols},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Relational\_Method.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Noce20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Paulson20,
  author       = {Lawrence C. Paulson},
  title        = {The Nash-Williams Partition Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Nash\_Williams.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Paulson20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Paulson20a,
  author       = {Lawrence C. Paulson},
  title        = {Ordinal Partitions},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Ordinal\_Partitions.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Paulson20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/PopescuT20,
  author       = {Andrei Popescu and
                  Dmitriy Traytel},
  title        = {From Abstract to Concrete G{\"{o}}del's Incompleteness Theorems
                  - Part {I}},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Goedel\_HFSet\_Semantic.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/PopescuT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/PopescuT20a,
  author       = {Andrei Popescu and
                  Dmitriy Traytel},
  title        = {From Abstract to Concrete G{\"{o}}del's Incompleteness Theorems
                  - Part {II}},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Goedel\_HFSet\_Semanticless.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/PopescuT20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/PopescuT20b,
  author       = {Andrei Popescu and
                  Dmitriy Traytel},
  title        = {An Abstract Formalization of G{\"{o}}del's Incompleteness Theorems},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Goedel\_Incompleteness.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/PopescuT20b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/PopescuT20c,
  author       = {Andrei Popescu and
                  Dmitriy Traytel},
  title        = {Robinson Arithmetic},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Robinson\_Arithmetic.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/PopescuT20c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/PopescuT20d,
  author       = {Andrei Popescu and
                  Dmitriy Traytel},
  title        = {Syntax-Independent Logic Infrastructure},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Syntax\_Independent\_Logic.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/PopescuT20d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/RauN20,
  author       = {Martin Rau and
                  Tobias Nipkow},
  title        = {Closest Pair of Points Algorithms},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Closest\_Pair\_Points.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/RauN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/RizaldiI20,
  author       = {Albert Rizaldi and
                  Fabian Immler},
  title        = {A Formally Verified Checker of the Safe Distance Traffic Rules for
                  Autonomous Vehicles},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Safe\_Distance.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/RizaldiI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Sickert20,
  author       = {Salomon Sickert},
  title        = {An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL
                  Formalisation},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/LTL\_Normal\_Form.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Sickert20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Stark20,
  author       = {Eugene W. Stark},
  title        = {Bicategories},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Bicategory.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Stark20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/SternagelT20,
  author       = {Christian Sternagel and
                  Ren{\'{e}} Thiemann},
  title        = {A Formalization of Knuth-Bendix Orders},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Knuth\_Bendix\_Order.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/SternagelT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/TahaWY20,
  author       = {Safouan Taha and
                  Burkhart Wolff and
                  Lina Ye},
  title        = {The {HOL-CSP} Refinement Toolkit},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/CSP\_RefTK.html},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/TahaWY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Terraf20,
  author       = {Pedro S{\'{a}}nchez Terraf},
  title        = {Cofinality and the Delta System Lemma},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Delta\_System\_Lemma.html},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Terraf20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Tourret20,
  author       = {Sophie Tourret},
  title        = {A Comprehensive Framework for Saturation Theorem Proving},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Saturation\_Framework.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Tourret20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/UnruhC20,
  author       = {Dominique Unruh and
                  Jos{\'{e}} Manuel Rodr{\'{\i}}guez Caballero},
  title        = {Banach-Steinhaus Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Banach\_Steinhaus.html},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/UnruhC20.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.