Turing Machines with Atoms

Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk. Turing Machines with Atoms. In 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013. pages 183-192, IEEE Computer Society, 2013. [doi]

Authors

Mikolaj Bojanczyk

This author has not been identified. Look up 'Mikolaj Bojanczyk' in Google

Bartek Klin

This author has not been identified. Look up 'Bartek Klin' in Google

Slawomir Lasota

This author has not been identified. Look up 'Slawomir Lasota' in Google

Szymon Torunczyk

This author has not been identified. Look up 'Szymon Torunczyk' in Google