Sciweavers

Reachability Logic: An Efficient Fragment of Transitive Closure Logic
Recent countries visiting this post
Reachability Logic: An Efficient Fragment of Transitive Closure Logic
us4United States
ru1Russian Federation