Login / Signup
Characterising Strongly Normalising Intuitionistic Terms.
José Espírito Santo
Jelena Ivetic
Silvia Likavec
Published in:
Fundam. Informaticae (2012)
Keyphrases
</>
database
information retrieval
pattern recognition