Login / Signup

Complete Sequent Calculi for Induction and Infinite Descent.

James BrotherstonAlex Simpson
Published in: LICS (2007)
Keyphrases
  • sequent calculi
  • expert systems
  • inductive learning
  • dynamical systems
  • inductive inference