Sign in

A variation of Reynolds-Hurkens Paradox.

Thierry Coquand
Published in: CoRR (2023)
Keyphrases
  • numerical solution
  • evolutionary algorithm
  • database
  • computer vision
  • lower bound