Login / Signup
On instruction sets for Boolean registers in program algebra.
Jan A. Bergstra
Cornelis A. Middelburg
Published in:
CoRR (2015)
Keyphrases
</>
real numbers
data model
real valued
multimedia
computer programs
e learning
program execution
computer technology
algebraic expressions
instruction set
closed sets
multi valued
static analysis
database
learning styles
database systems
databases