Login / Signup
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic.
Alessandro Avellone
Camillo Fiorentini
Alberto Momigliano
Published in:
Fundam. Informaticae (2015)
Keyphrases
</>
artificial intelligence
high level
intuitionistic logic