Bonacina Ilario

Ilario Bonacina

Information about the author Ilario Bonacina will soon be added to the site.
Found 1 papers in total
Strong ETH and Resolution via Games and the Multiplicity of Strategies
2017
We consider a proof system intermediate between regular Resolution, in which no...
Papers per page: