Path resolution for nested recursive modules.

Jacques Garrigue Keiko Nakata

Published in: High. Order Symb. Comput. (2011)

Keyphrases

database
low resolution
shortest path
endpoints
hierarchical structure
modular structure
multiple paths
consequence finding
database systems
high resolution
mobile robot
building blocks
minimum cost
functional modules
recursive algorithm