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

### Cached

### Download Links

- [www.cs.tau.ac.il]
- [www.math.tau.ac.il]
- [www.cs.umass.edu]
- DBLP

### Other Repositories/Bibliography

by
N. Immerman
,
A. Rabinovich
,
T. Reps
,
M. Sagiv
,
G. Yorsh

Venue: | In Computer Science Logic (CSL |

Citations: | 30 - 5 self |