Turing machines with atoms, constraint satisfaction problems, and descriptive complexity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk. Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. In Thomas A. Henzinger, Dale Miller, editors, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. pages 58, ACM, 2014. [doi]

This author has not been identified. Look up 'Bartek Klin' in GoogleThis author has not been identified. Look up 'Slawomir Lasota' in GoogleThis author has not been identified. Look up 'Joanna Ochremiak' in GoogleThis author has not been identified. Look up 'Szymon Torunczyk' in Google

runs on WebDSL