Extending SMT-LIB v2 with λ-Terms and Polymorphism.

Richard Bonichon David Déharbe Cláudia Tavares

Published in: SMT (2014)

Keyphrases

artificial neural networks
e learning
image processing
multiresolution