Suchergebnisse - Beyersdorff, Olaf 1973-

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

    Disjoint NP-pairs and propositional proof systems
    von Beyersdorff, Olaf 1973-

    Veröffentlicht 2006
    Hochschulschrift/Dissertation Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Konstruktion einer stabilen, nicht äquationalen Theorie
    von Beyersdorff, Olaf 1973-

    Veröffentlicht 2000
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Theory and applications of satisfiability testing – SAT 2018: 21st International Conference, SAT 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018 : proceedings

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Beyersdorff, Olaf 1973- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    41st International Symposium on Theoretical Aspects of Computer Science: STACS 2024, March 12–14, 2024, Clermont-Ferrand, France

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Beyersdorff, Olaf 1973- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018 : proceedings

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Beyersdorff, Olaf 1973- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: