The boundary between decidability and undecidability tor transitive-closure logics

Authors

N Immerman
A Rabinovich
T Reps
M Sagiv
G Yorsh

Publication Date

2004

Journal or Book Title

COMPUTER SCIENCE LOGIC, PROCEEDINGS

Pages

160-174

Volume

3210

Book Series Title

LECTURE NOTES IN COMPUTER SCIENCE

Recommended Citation

Immerman, N; Rabinovich, A; Reps, T; Sagiv, M; and Yorsh, G, "The boundary between decidability and undecidability tor transitive-closure logics" (2004). COMPUTER SCIENCE LOGIC, PROCEEDINGS. 565.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/565