Login / Signup

On the logical structure of choice and bar induction principles.

Nuria BredeHugo Herbelin
Published in: LICS (2021)
Keyphrases
  • logical structure
  • structural information
  • metadata
  • logical inference
  • databases
  • semantic relationships
  • learning process