The Boundary Between Decidability and Undecidability for Transitive-Closure Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh. The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. In Jerzy Marcinkowski, Andrzej Tarlecki, editors, Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings. Volume 3210 of Lecture Notes in Computer Science, pages 160-174, Springer, 2004. [doi]

This author has not been identified. Look up 'Neil Immerman' in GoogleThis author has not been identified. Look up 'Alexander Moshe Rabinovich' in GoogleIdentified as Thomas W. Reps This author has not been identified. Look up 'Shmuel Sagiv' in GoogleThis author has not been identified. Look up 'Greta Yorsh' in Google

runs on WebDSL