Formal Computations of Non Deterministic Recursive Program Schemes.

André Arnold Maurice Nivat

Published in: Math. Syst. Theory (1980)

Keyphrases

relational databases
formal model
randomized algorithms
relaxation algorithm
recursive programs
neural network
information systems
decision trees
multi agent
evolutionary algorithm
motion estimation
object oriented
static analysis
formal analysis
mathematical theory
control program