Login / Signup

Reprint of: A more general general proof theory.

Heinrich Wansing
Published in: J. Appl. Log. (2017)
Keyphrases
  • special case
  • search algorithm
  • graph theory