Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/afp/AmjadGO24,
  author       = {Rayhana Amjad and
                  Rob van Glabbeek and
                  Liam O'Connor},
  title        = {Definitive Set Semantics for {LTL3}},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/LTL3\_Semantics.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/AmjadGO24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BergstromW24,
  author       = {Axel Bergstr{\"{o}}m and
                  Tjark Weber},
  title        = {Verified {QBF} Solving},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/QBF\_Solver\_Verification.html},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/BergstromW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BinderK24,
  author       = {Sage Binder and
                  Katherine Kosaian},
  title        = {Pick's Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Picks\_Theorem.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/BinderK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BosshardSB24,
  author       = {Azucena Garv{\'{\i}}a Bosshard and
                  Christoph Sprenger and
                  Jonathan Bootle},
  title        = {The Sumcheck Protocol},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Sumcheck\_Protocol.html},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/BosshardSB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BrecknellGHIKKLNSSSTW24,
  author       = {Matthew Brecknell and
                  David Greenaway and
                  Johannes H{\"{o}}lzl and
                  Fabian Immler and
                  Gerwin Klein and
                  Rafal Kolanski and
                  Japheth Lim and
                  Michael Norrish and
                  Norbert Schirmer and
                  Salomon Sickert and
                  Thomas Sewell and
                  Harvey Tuch and
                  Simon Wimmer},
  title        = {AutoCorres2},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/AutoCorres2.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/BrecknellGHIKKLNSSSTW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BruckerMW24,
  author       = {Achim D. Brucker and
                  Nicolas M{\'{e}}ric and
                  Burkhart Wolff},
  title        = {Isabelle/DOF},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Isabelle\_DOF.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/BruckerMW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BruckerS24,
  author       = {Achim D. Brucker and
                  Amy Stell},
  title        = {(Extended) Interval Analysis},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Interval\_Analysis.html},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/BruckerS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/BudayP24,
  author       = {Gergely Buday and
                  Andrei Popescu},
  title        = {Countable Sums and Discrete (Sub)Distributions},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Countable\_Sums\_and\_Discrete\_Distributions.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/BudayP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Buss24,
  author       = {Sebasti{\'{a}}n Buss},
  title        = {Decomposition of totally ordered hoops},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Isabelle\_hoops.html},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Buss24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/CalkS24,
  author       = {Cameron Calk and
                  Georg Struth},
  title        = {Higher Globular Catoids and Quantales},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/OmegaCatoidsQuantales.html},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/CalkS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Chen24,
  author       = {Jamie Chen},
  title        = {Wieferich-Kempner Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Wieferich\_Kempner.html},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Chen24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/DongolGPW24,
  author       = {Brijesh Dongol and
                  Matthew Griffin and
                  Andrei Popescu and
                  Jamie Wright},
  title        = {Secret-Directed Unwinding},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Secret\_Directed\_Unwinding.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/DongolGPW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl24,
  author       = {Manuel Eberl},
  title        = {Continued Fractions},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Continued\_Fractions.html},
  timestamp    = {Mon, 22 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl24a,
  author       = {Manuel Eberl},
  title        = {Kummer's congruence},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Kummer\_Congruence.html},
  timestamp    = {Mon, 22 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl24b,
  author       = {Manuel Eberl},
  title        = {A simple proof that {\(\pi\)} is irrational},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Pi\_Irrational.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl24b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Eberl24c,
  author       = {Manuel Eberl},
  title        = {Concrete bounds for Chebyshev's prime counting functions},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Chebyshev\_Prime\_Bounds.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Eberl24c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Gammie24,
  author       = {Peter Gammie},
  title        = {ConcurrentHOL},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/ConcurrentHOL.html},
  timestamp    = {Mon, 22 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Gammie24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Haslbeck24,
  author       = {Maximilian P. L. Haslbeck},
  title        = {{NREST:} Nondeterministc RESult monad with Time},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/NREST.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Haslbeck24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/HerasimauMLRT24,
  author       = {Andrei Herasimau and
                  Jonathan Juli{\'{a}}n Huerta y Munive and
                  Leonardo Lima and
                  Martin Raszyk and
                  Dmitriy Traytel},
  title        = {A Verified Proof Checker for Metric First-Order Temporal Logic},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/MFOTL\_Checker.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/HerasimauMLRT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Hirata24,
  author       = {Michikazu Hirata},
  title        = {The L{\'{e}}vy-Prokhorov Metric},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Levy\_Prokhorov\_Metric.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Hirata24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Hirata24a,
  author       = {Michikazu Hirata},
  title        = {The Riesz Representation Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Riesz\_Representation.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Hirata24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Hirata24b,
  author       = {Michikazu Hirata},
  title        = {Coproduct Measure},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Coproduct\_Measure.html},
  timestamp    = {Mon, 26 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Hirata24b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Ito24,
  author       = {Yosuke Ito},
  title        = {Actuarial Mathematics},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Actuarial\_Mathematics.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Ito24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Karayel24,
  author       = {Emin Karayel},
  title        = {Derandomization with Conditional Expectations},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Derandomization\_Conditional\_Expectations.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Karayel24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/KarayelF24,
  author       = {Emin Karayel and
                  Zixuan Fan},
  title        = {Rabin's Closest Pair of Points Algorithm},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Randomized\_Closest\_Pair.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/KarayelF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Keskin24,
  author       = {Ata Keskin},
  title        = {Doob's Upcrossing Inequality and Martingale Convergence Theorem},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Doob\_Convergence.html},
  timestamp    = {Mon, 22 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Keskin24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/KosaianT24,
  author       = {Katherine Kosaian and
                  Yong Kiam Tan},
  title        = {Formalizing Coppersmith's Method},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Coppersmith\_Method.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/KosaianT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Krofta24,
  author       = {Niklas Krofta},
  title        = {Topological Groups},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Topological\_Groups.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Krofta24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Nipkow24,
  author       = {Tobias Nipkow},
  title        = {Region Quadtrees},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Region\_Quadtrees.html},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Nipkow24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Nipkow24a,
  author       = {Tobias Nipkow},
  title        = {Alpha-Beta Pruning},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Alpha\_Beta\_Pruning.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Nipkow24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Noce24,
  author       = {Pasquale Noce},
  title        = {Information Flow Control via Stateful Intransitive Noninterference
                  in Language {IMP}},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/IMP\_Noninterference.html},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/Noce24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Noce24a,
  author       = {Pasquale Noce},
  title        = {Extension of Stateful Intransitive Noninterference with Inputs, Outputs,
                  and Nondeterminism in Language {IMP}},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/IMP\_Noninterference\_Extension.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Noce24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/ParentB24,
  author       = {Xavier Parent and
                  Christoph Benzm{\"{u}}ller},
  title        = {Conditional normative reasoning as a fragment of {HOL} (Isabelle/HOL
                  dataset)},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/CondNormReasHOL.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/ParentB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Paulson24,
  author       = {Lawrence C. Paulson},
  title        = {Ramsey Number Bounds},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Ramsey\_Bounds.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Paulson24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Paulson24a,
  author       = {Lawrence C. Paulson},
  title        = {An Exponential Improvement for Diagonal Ramsey},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Diagonal\_Ramsey.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Paulson24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/PopescuW24,
  author       = {Andrei Popescu and
                  Jamie Wright},
  title        = {More Operations on Lazy Lists},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/More\_LazyLists.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/PopescuW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/PopescuW24a,
  author       = {Andrei Popescu and
                  Jamie Wright},
  title        = {Relative Security},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Relative\_Security.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/PopescuW24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/RaabjergPW24,
  author       = {Palle Raabjerg and
                  Johannes {\AA}man Pohjola and
                  Tjark Weber},
  title        = {Broadcast Psi-calculi},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Broadcast\_Psi.html},
  timestamp    = {Mon, 22 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/RaabjergPW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/SchmoettenF24,
  author       = {Richard Schmoetten and
                  Jacques D. Fleuriot},
  title        = {Lie Groups and Algebras},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Lie\_Groups.html},
  timestamp    = {Mon, 26 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/SchmoettenF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Schulz24,
  author       = {Jakob Schulz},
  title        = {Sch{\"{o}}nhage-Strassen Multiplication},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Schoenhage\_Strassen.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Schulz24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/SchulzK24,
  author       = {Jakob Schulz and
                  Emin Karayel},
  title        = {Karatsuba Multiplication on Integers},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Karatsuba.html},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/SchulzK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/SongY24,
  author       = {Shuhao Song and
                  Bowen Yao},
  title        = {Prime Number Theorem with Remainder Term},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/PNT\_with\_Remainder.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/SongY24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/StadeTS24,
  author       = {Yannick Stade and
                  Sarah Tilscher and
                  Helmut Seidl},
  title        = {Partial Correctness of the Top-Down Solver},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Top\_Down\_Solver.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/StadeTS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Stannett24,
  author       = {Mike Stannett},
  title        = {The Stone-Cech Compactification},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Stone\_Cech.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Stannett24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Stark24,
  author       = {Eugene W. Stark},
  title        = {Enriched Category Basics},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/EnrichedCategoryBasics.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Stark24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Stark24a,
  author       = {Eugene W. Stark},
  title        = {Residuated Transition Systems {II:} Categorical Properties},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/ResiduatedTransitionSystem2.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Stark24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/StruthM24,
  author       = {Georg Struth and
                  Tanguy Massacrier},
  title        = {Cubical Categories},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/CubicalCategories.html},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/StruthM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/StubingerH24,
  author       = {Terru St{\"{u}}binger and
                  Lars Hupel},
  title        = {Go Code Generation for Isabelle},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Go.html},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/StubingerH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/SuarezLA24,
  author       = {Fabi{\'{a}}n Fernando Serrano Su{\'{a}}rez and
                  Thaynara Arielly de Lima and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  title        = {Compactness Theorem for Propositional Logic and Combinatorial Applications},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Prop\_Compactness.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/SuarezLA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/TanY24,
  author       = {Yong Kiam Tan and
                  Jiong Yang},
  title        = {Approximate Model Counting},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Approximate\_Model\_Counting.html},
  timestamp    = {Fri, 02 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/TanY24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Thiemann24,
  author       = {Ren{\'{e}} Thiemann},
  title        = {A Preprocessor for Linear Diophantine Equalities and Inequalities},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Linear\_Diophantine\_Preprocessor.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Thiemann24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/ThiemannMM24,
  author       = {Ren{\'{e}} Thiemann and
                  Fabian Mitterwallner and
                  Aart Middeldorp},
  title        = {Undecidability Results on Orienting Single Rewrite Rules},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Orient\_Rewrite\_Rule\_Undecidable.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/ThiemannMM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/ThiemannY24,
  author       = {Ren{\'{e}} Thiemann and
                  Akihisa Yamada},
  title        = {Verifying a Decision Procedure for Pattern Completeness},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Pattern\_Completeness.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/ThiemannY24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/TilscherW24,
  author       = {Sarah Tilscher and
                  Simon Wimmer},
  title        = {{LL(1)} Parser Generator},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/LL1\_Parser.html},
  timestamp    = {Tue, 04 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/TilscherW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Trelat24,
  author       = {Vincent Tr{\'{e}}lat},
  title        = {Substitutions for Lambda-Free Higher-Order Terms},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Substitutions\_Lambda\_Free.html},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Trelat24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Treml24,
  author       = {Alexander Treml},
  title        = {Uncertainty Principle},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Uncertainty\_Principle.html},
  timestamp    = {Mon, 22 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Treml24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Unruh24,
  author       = {Dominique Unruh},
  title        = {With-Type - Poor man's dependent types},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/With\_Type.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Unruh24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Unruh24a,
  author       = {Dominique Unruh},
  title        = {Without Loss of Generality},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Wlog.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Unruh24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/WimmerL24,
  author       = {Simon Wimmer and
                  Peter Lammich},
  title        = {Worklist Algorithms},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Worklist\_Algorithms.html},
  timestamp    = {Mon, 26 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/WimmerL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/WimmerL24a,
  author       = {Simon Wimmer and
                  Peter Lammich},
  title        = {Difference Bound Matrices},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Difference\_Bound\_Matrices.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/WimmerL24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/WrightP24,
  author       = {Jamie Wright and
                  Andrei Popescu},
  title        = {A formalized programming language with speculative execution},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/IMP\_With\_Speculation.html},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/WrightP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/YamadaT24,
  author       = {Akihisa Yamada and
                  Ren{\'{e}} Thiemann},
  title        = {Sorted Terms},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Sorted\_Terms.html},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/YamadaT24.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.