91̽»¨

Brandon Doherty, Krzysztof Kapulkin, Zachery Lindsey, Christian Sattler
Memoirs of the American Mathematical Society - 2024

Christian Sattler, David Wärn
Proceedings - Symposium on Logic in Computer 91̽»¨ - 2024

Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
Mathematical Structures in Computer 91̽»¨ - 2023

Rafaël Bocquet, Ambrus Kaposi, Christian Sattler
Leibniz International Proceedings in Informatics, LIPIcs - 2023

Thierry Coquand, Simon Huber, Christian Sattler
Logical Methods in Computer 91̽»¨ - 2022

Nicola Gambino, Simon Henry, Christian Sattler, Karol Szumiło
Forum of Mathematics, Sigma - 2022

Nicola Gambino, Christian Sattler, Karol Szumiło
Quarterly Journal of Mathematics - 2022

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini
Lecture Notes in Computer 91̽»¨ (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2021

Thierry Coquand, Fabian Ruch, Christian Sattler
Mathematical Structures in Computer 91̽»¨ - 2021

Christian Sattler, Andrea Vezzosi
ACM International Conference Proceeding Series - 2020

Andreas Abel, Christian Sattler
ACM International Conference Proceeding Series - 2019

Ambrus Kaposi, Simon Huber, Christian Sattler
Leibniz International Proceedings in Informatics, LIPIcs - 2019

Thierry Coquand, Simon Huber, Christian Sattler
Leibniz International Proceedings in Informatics, LIPIcs - 2019

Nicola Gambino, Christian Sattler
Journal of Pure and Applied Algebra - 2017

Nicolai Kraus, Christian Sattler
ACM Transactions on Computational Logic - 2015

Christian Sattler, Florent Balestrieri
Leibniz International Proceedings in Informatics, LIPIcs - 2012