Current research

Elementary-algebraic interpretation of P vs NP
(L. Gordeev, A. Krebs, Tübingen University)


Proof-theoretic conservations of weak weak intuitionistic constructive set theories

(Oberwolfach, November 2011)


DAG Compressions

(Oberwolfach, November 2011)

  1. Share on Facebook (opens in new window)
  2. Share on LinkedIn (opens in new window)
  3. Share on Mastodon (opens in new window)
  4. Share on Bluesky (opens in new window)
  5. Share via email (opens in new window)
  1. Share on Facebook (opens in new window)
  2. Share on LinkedIn (opens in new window)
  3. Share on Mastodon (opens in new window)
  4. Share on Bluesky (opens in new window)
  5. Share via email (opens in new window)