Login / Signup

Induction and Co-induction in Sequent Calculus.

Alberto MomiglianoAlwen Fernanto Tiu
Published in: TYPES (2003)
Keyphrases
  • sequent calculus
  • inductive learning
  • linear logic
  • proof search
  • artificial intelligence
  • machine learning
  • knowledge representation