Reverse Mathematics and Weihrauch Reducibility for Partial and Linear Orders

  • Solda Giovanni (Gastgeber*in)

Aktivität: SonstigeAufenthalt an der JKU (Altdaten)

Zeitraum01 Feb. 201704 Feb. 2017

Wissenschaftszweige

  • 101013 Mathematische Logik
  • 101001 Algebra
  • 101 Mathematik
  • 102031 Theoretische Informatik
  • 101005 Computeralgebra

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics
  • TNF Allgemein