Login / Signup
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems.
Maja H. Kirkeby
Henning Christiansen
Published in:
Int. J. Approx. Reason. (2019)
Keyphrases
</>
intelligent systems
expert systems
building blocks
real time
data mining
image sequences
multiscale
relational databases
management system
distributed systems
initial conditions