Login / Signup
Linear Ramified Higher Type Recursion and Parallel Complexity.
Klaus Aehlig
Jan Johannsen
Helmut Schwichtenberg
Sebastiaan Terwijn
Published in:
Proof Theory in Computer Science (2001)
Keyphrases
</>
lower complexity
parallel processing
real time
linear complexity
parallel computing
deductive databases
complex objects
lower levels
computer architecture
parallel implementation
linear model
integrity constraints
worst case
lower bound
multiscale
bayesian networks
decision trees
neural network
databases
data sets