Mu-calculus path checking.

Nicolas Markey Philippe Schnoebelen

Published in: Inf. Process. Lett. (2006)

Keyphrases

shortest path
automated deduction
multiscale
information systems
data structure
expert systems
logic programs
endpoints
optimal path
path selection
algebraic structure
multiple paths