Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests.

Oleg V. Kudinov Victor L. Selivanov

Published in: J. Log. Comput. (2007)

Keyphrases

privacy preserving
random forests
probabilistic planning
website
description logics
heuristic search
real time
data structure
evolutionary algorithm
data management
data exchange
unit length