Monoids with tests and the algebra of possibly non-halting programs.

Marcel Jackson Tim Stokes

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

algebraic structure
neural network
computer programs
database
multiscale
data mining
information retrieval
artificial intelligence
data structure
data model
multiple choice