Department Mathematik
print


Navigationspfad


Inhaltsbereich

Publications


  • Google Scholar Citations
  • dblp

    Papers




    ArXiv Papers




    Habilitation Thesis




    PhD Thesis




    Notes/Preprints




    Abstracts and Reports




    Editorial work

    • Editorial, (with H. Leitgeb, P. Schuster and H. Schwichtenberg), IFCoLog Journal of Logics and their Applications, Special Issue Proof, Truth, Computation, Vol.3 No. 4, 513-515, 2016, ISBN 978-1-84890-219-0.



    Zentralblatt MATH Reviews




    Mathematical Reviews

    • J. Berger, G. Svindland: Convexity and unique minimum points
    • J. Millson, C. Strasser: A logic for best explanations
    • P. Osinenko, S. Streif: A constructive version of the extremum value theorem for spaces of vector-valued functions
    • H. Diener, M. Hendtlass: Bishop's lemma
    • D. Rinaldi, P. Schuster, D. Wessel: Eliminating disjunctions by disjunction elimination
    • D. Bridges, M. Hendtlass, E. Palmgren: A constructive Examination of Rectifiability
    • A. Mahboubi: An induction principle over real numbers
    • C. Duguid: Graph theory and the identity of indiscernibles
    • Vít Punčochář: Intensionalisation of Logical Operators
    • A. G. Melnikov and K. M. Ng: Computable structures and operations on the space of continuous functions



    Past work





    Last modified: 30.06.2020