Loading [MathJax]/extensions/tex2jax.js

Archive for Mathematical Logic

1 - 4 von 4Seitengröße: 20
Reihenfolge:

Publikationen

  1. 2019

  2. Extern

    Convexity and unique minimum points

    Berger, J. & Svindland, G., 5 Feb. 2019, in: Archive for mathematical logic. 58, 1-2, S. 27-34 8 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  3. 2016

  4. Extern

    Convexity and constructive infima

    Berger, J. & Svindland, G., 1 Nov. 2016, in: Archive for mathematical logic. 55, 7-8, S. 873-881 9 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  5. 2015

  6. Veröffentlicht

    On the parameterized complexity of non-monotonic logics.

    Meier, A., Schindler, I., Schmidt, J., Thomas, M. & Vollmer, H., 2015, in: Arch. Math. Log.. 54, 5-6, S. 685-710

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  7. 2011

  8. Veröffentlicht

    Proof complexity of propositional default logic.

    Beyersdorff, O., Meier, A., Müller, S., Thomas, M. & Vollmer, H., 2011, in: Arch. Math. Log.. 50, 7-8, S. 727-742

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review