One-Path Reachability Logic.
Grigore RosuAndrei StefanescuStefan CiobacaBrandon M. MoorePublished in: LICS (2013)
Keyphrases
- logic programming
- shortest path
- delay insensitive
- asynchronous circuits
- state space
- modal logic
- modal operators
- predicate logic
- computational properties
- multi valued
- proof theory
- digital circuits
- nonmonotonic logics
- set theory
- databases
- transitive closure
- endpoints
- search algorithm
- image sequences
- artificial intelligence