Subrecursive degrees and fragments of Peano Arithmetic.

Lars Kristiansen

Published in: Arch. Math. Log. (2001)

Keyphrases

databases
natural language
artificial intelligence
image sequences
probability distribution
arithmetic operations
interval arithmetic
horizontal fragmentation