Many-to-one simulation in E0L forms is decidable.

Andrzej Ehrenfeucht Grzegorz Rozenberg R. Verraedt

Published in: Discret. Appl. Math. (1980)

Keyphrases

mathematical model
simulation environment
neural network
multi agent systems
simulation model
simulation models
e learning
first order logic
feature selection
website
search algorithm
expert systems
simulation study
simulation software
discrete event simulation