Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk
Turing Machines with Atoms
LICS, 2013.
@inproceedings{LICS-2013-BojanczykKLT,
acmid = "2591403",
author = "Mikolaj Bojanczyk and Bartek Klin and Slawomir Lasota and Szymon Torunczyk",
booktitle = "{Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2013.24",
isbn = "978-1-4799-0413-6",
pages = "183--192",
publisher = "{IEEE Computer Society}",
title = "{Turing Machines with Atoms}",
year = 2013,
}
Tags: