Searching for "On Transitive Closure Logic." – sorted by Relevance.
107 documents found, showing 1 through 10.
Next 10 →
-
Model Checking and Transitive Closure Logic
- …Model Checking and Transitive Closure Logic Neil Immerman Computer Science Dept. University…
- Cited by 16 (4 self) – Add To MetaCart
-
Efficient Fragment of Transitive Closure Logic
- …Efficient Fragment of Transitive Closure Logic Natasha Alechina School of Computer Science…
- Cited by 2 (1 self) – Add To MetaCart
-
Properties of binary transitive closure logic over trees
- …6 Properties of Binary Transitive Closure Logics over Trees Stephan Kepser Abstract Binary…
- Cited by 2 (1 self) – Add To MetaCart
-
Approximate pattern matching is expressible in transitive closure logic
- …Approximate Pattern Matching is Expressible in Transitive Closure Logic Kjell Lemström Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Expressing Approximate Pattern Matching with Transitive Closure Logic
- …Expressing Approximate Pattern Matching with Transitive Closure Logic Kjell Lemstr��m Laudatur…
- Add To MetaCart
-
Model Checking and Transitive-Closure Logic
- …Model Checking and Transitive-Closure Logic ? Neil Immerman ??1 and Moshe Y. Vardi ???2 1…
- Cited by 9 (0 self) – Add To MetaCart
-
Fast Stream - Efficient Fragments of Transitive Closure Logic
- …FAST STREAM Ecient Fragments of Transitive Closure Logic Natasha Alechina Part 2: Description…
- Add To MetaCart
-
Reachability Logic: An Efficient Fragment of Transitive Closure Logic
- …Reachability Logic: An Ecient Fragment of Transitive Closure Logic NATASHA ALECHINA, School…
- Cited by 10 (0 self) – Add To MetaCart
-
A double arity hierarchy theorem for transitive closure logic, Archive for
- …A Double Arity Hierarchy Theorem for Transitive Closure Logic Martin Grohe Lauri Hella February…
- Cited by 3 (1 self) – Add To MetaCart
-
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic
- …Linear approximation of planar spatial databases using transitive-closure logic Floris Geerts…
- Cited by 10 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
