Login / Signup
The Decidable Properties of Subrecursive Functions.
Mathieu Hoyrup
Published in:
ICALP (2016)
Keyphrases
</>
algebraic properties
artificial intelligence
structural properties
data mining
image sequences
rough sets
desirable properties