Sign in

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems.

Maja H. KirkebyHenning 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