Login / Signup

A proof-theoretic study of abstract termination principles.

Thomas Powell
Published in: J. Log. Comput. (2019)
Keyphrases
  • proof theoretic
  • high level
  • machine learning
  • constraint satisfaction
  • linear logic