Login / Signup
Monoids with tests and the algebra of possibly non-halting programs.
Marcel Jackson
Tim Stokes
Published in:
CoRR (2014)
Keyphrases
</>
multiscale
data model
relational databases
relational algebra
algebraic structure
learning algorithm
website
bayesian networks
information technology
test cases
test data
real numbers
automatic programming
control structures
algebraic geometry
algebraic expressions