Ethereum's Recursive Length Prefix in ACL2.

Alessandro Coglio

Published in: ACL2 (2020)

Keyphrases

data structure
fixed length
data sets
multiscale
natural language learning
artificial intelligence
relational databases
recursive algorithm
real world
data mining
information systems
expert systems
tree structure
maximum number
recursive functions
total length