Login / Signup

Multicomponent proof-theoretic method for proving interpolation properties.

Roman Kuznets
Published in: Ann. Pure Appl. Log. (2018)
Keyphrases
  • decomposition method