Coalgebraic Infinite Traces and Kleisli Simulations.

Natsuki Urabe Ichiro Hasuo

Published in: CALCO (2015)

Keyphrases

artificial intelligence
database
neural network
real world
image processing
optimal solution
cooperative
numerical simulations