Julian Biendarra

According to our database, Julian Biendarra authored at least 3 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Kruskal's Algorithm for Minimum Spanning Forest.

Maximilian P. L. Haslbeck, Peter Lammich, Julian Biendarra

Arch. Formal Proofs, 2019

2017

Bertrand's postulate.

Julian Biendarra, Manuel Eberl

Arch. Formal Proofs, 2017

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.

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

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017