Julian Biendarra

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Default Reasoning

Improved Algorithm

Top Venues

Arch. Formal Proofs

Publications

Maximilian P. L. Haslbeck, Peter Lammich, Julian Biendarra
Kruskal's Algorithm for Minimum Spanning Forest. Arch. Formal Proofs 2019 (2019)
Julian Biendarra, Manuel Eberl
Bertrand's postulate. Arch. Formal Proofs 2017 (2017)
Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. FroCoS (2017)