Showing 1 - 2 results of 2 for search 'Lew Gordeev', query time: 0.12s Refine Results
  1. 1
    Proof Compression and NP Versus PSPACE II
    by Lew Gordeev, Edward Hermann Haeusler
    Published 2020-11-01
    Get full text
    Article
  2. 2
    Proof-graphs for Minimal Implicational Logic
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search