Personal information
Activities
Works (7)
2024-07-08
|
Conference paper
Contributors:
Christian Sattler;
David Wärn
Source:
check_circle
Crossref
Mathematical Structures in Computer Science
2023-09
|
Journal article
Contributors:
Danil Annenkov;
Paolo Capriotti;
Nicolai Kraus;
Christian Sattler
Source:
check_circle
Crossref
Forum of Mathematics, Sigma
2022
|
Journal article
Contributors:
Nicola Gambino;
Simon Henry;
Christian Sattler;
Karol Szumiło
Source:
check_circle
Crossref
Mathematical Structures in Computer Science
2021-10
|
Journal article
Contributors:
Thierry Coquand;
Fabian Ruch;
Christian Sattler
Source:
check_circle
Crossref
Journal of Pure and Applied Algebra
2017
|
Journal article
Contributors:
Nicola Gambino;
Christian Sattler
Source:
Christian Sattler
via
Crossref Metadata Search
grade
Preferred source
(of
2)
ACM Transactions on Computational Logic
2015-04-02
|
Journal article
Contributors:
Nicolai Kraus;
Christian Sattler
Source:
Christian Sattler
via
Crossref Metadata Search
grade
Preferred source
(of
2)
Leibniz International Proceedings in Informatics, LIPIcs
2012
|
Conference paper
EID:
2-s2.0-84880208565
Contributors:
Sattler, C.;
Balestrieri, F.
Source:
Christian Sattler
via
Scopus - Elsevier