The Boundary between Decidability and Undecidability for Transitive-Closure Logics (2004)

Cached

Download Links

by N. Immerman , A. Rabinovich , T. Reps , M. Sagiv , G. Yorsh
Venue:In Computer Science Logic (CSL
Citations:32 - 5 self