The stack calculus

Alberto Carraro Thomas Ehrhard Antonino Salibra

Published in: LSFA (2012)

Keyphrases

search algorithm
computer algebra
real time
neural network
machine learning
databases
search engine
social networks
three dimensional
data structure
algebraic structure