Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously.

Jan J. M. M. Rutten

Published in: ICALP (1999)

Keyphrases

power consumption
databases
higher order
real time
machine learning
information systems
input data
database
artificial intelligence
multiscale
cellular automata
electricity markets
tree automata