Publications
Export 3 results:
Filters: Type is Habilitation Thesis [Clear All Filters]
, “Nested Sequents”. Universität Bern, 2010.
, “Proof-Theoretic Contributions to Modal Fixed Point Logics”. Universität Bern, 2010.
, “Proof-theoretic contributions to explicit mathematics”. Universität Bern, 2001.