The Theory of Total Unary RPO Is Decidable.

Paliath Narendran Michaël Rusinowitch

Published in: Computational Logic (2000)

Keyphrases

theoretical framework
computational model
databases
genetic algorithm
theoretical basis
data sets
neural network
multi agent
data structure
pairwise
evolutionary algorithm
formal theory