Dependent choice as a termination principle.

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

Keyphrases

term rewriting
multiresolution
neural network
artificial intelligence
three dimensional
artificial neural networks
data model
active rules
information bottleneck