Sign in
On the logical structure of choice and bar induction principles.
Nuria Brede
Hugo Herbelin
Published in:
LICS (2021)
Keyphrases
</>
logical structure
structural information
metadata
logical inference
databases
semantic relationships
learning process