Zum Inhalt springen

  2. Coquand, Thierry [VerfasserIn]; Lombardi, Henri [VerfasserIn]; Roy, Marie-Françoise [VerfasserIn] ; Thierry Coquand and Henri Lombardi and Marie-Françoise Roy [MitwirkendeR]

    05021 Abstracts Collection – Mathematics, Algorithms, Proofs

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006

  4. Forster, Yannick [VerfasserIn]; Kirst, Dominik [VerfasserIn]; Mück, Niklas [VerfasserIn] ; Yannick Forster and Dominik Kirst and Niklas Mück [MitwirkendeR]

    The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  5. Batra, Prashant [VerfasserIn] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen

    Newton's method and the computational complexity of the fundamental theorem of algebra

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2008

    Erschienen in: Electronic notes in theoretical computer science ; 202(2008), Seite 201-218

  7. Berardi, Stefano [VerfasserIn]; Buriola, Gabriele [VerfasserIn]; Schuster, Peter [VerfasserIn] ; Stefano Berardi and Gabriele Buriola and Peter Schuster [MitwirkendeR]

    A General Constructive Form of Higman’s Lemma

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  9. Beame, Paul W. [MitwirkendeR]; Buss, Samuel R [MitwirkendeR] ; DIMACS (Group), NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

    Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Providence, R.I.: American Mathematical Society, 1998

    Erschienen in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 39

  10. Steins, Stefan Arno [VerfasserIn] ; Niebergall, Karl-Georg [Sonstige Person, Familie und Körperschaft]; Friend, Michèle [Sonstige Person, Familie und Körperschaft]

    Mathematical Pluralism: Constructive Mathematics and Economic Theory

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Humboldt-Universität zu Berlin, 2021

  11. Chen, Lijie [VerfasserIn]; Williams, Ryan [VerfasserIn]; Yang, Tianqi [VerfasserIn] ; Lijie Chen and Ryan Williams and Tianqi Yang [MitwirkendeR]

    Black-Box Constructive Proofs Are Unavoidable

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  14. Munts, Nataly V. [VerfasserIn]; Kumkov, Sergey S. [VerfasserIn]

    Detailed proof of existence of value function in time-optimal games with lifeline

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: International game theory review ; 24(2022), 4 vom: Dez., Artikel-ID 2250014, Seite 1-18

  16. DeMeo, William [VerfasserIn]; Carette, Jacques [VerfasserIn] ; William DeMeo and Jacques Carette [MitwirkendeR]

    A Machine-Checked Proof of Birkhoff’s Variety Theorem in Martin-Löf Type Theory

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  17. Scheele, Stephan M. [VerfasserIn] ; Mendler, Michael [AkademischeR BetreuerIn] University of Bamberg Press

    Model and Proof Theory of Constructive ALC, Constructive Description Logics

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Bamberg: University of Bamberg Press, 2015

    Erschienen in: Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg ; 20