Ulrik Buchholtz

发表

Kuen-Bang Hou, Ulrik Buchholtz, Ulrik Buchholtz, 2018, LICS.

Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer, 2017, ITP.

Ulrik Buchholtz, Edward Morehouse, 2017, RAMiCS.

Ulrik Buchholtz, Egbert Rijke, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Kuen-Bang Hou, Ulrik Buchholtz, 2020, Log. Methods Comput. Sci..

Ulrik Buchholtz, Floris van Doorn, Egbert Rijke, 2018, LICS.

Marc Bezem, Ulrik Buchholtz, Daniel R. Grayson, 2019, ArXiv.

Ulrik Buchholtz, Egbert Rijke, Ulrik Buchholtz, 2016, Higher Structures.