Undecidability Results on Two-Variable Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erich Grädel, Martin Otto, Eric Rosen. Undecidability Results on Two-Variable Logics. In Rüdiger Reischuk, Michel Morvan, editors, STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings. Volume 1200 of Lecture Notes in Computer Science, pages 249-260, Springer, 1997.

This author has not been identified. Look up 'Erich Grädel' in GoogleThis author has not been identified. Look up 'Martin Otto' in GoogleThis author has not been identified. Look up 'Eric Rosen' in Google

runs on WebDSL