Turing machines with atoms, constraint satisfaction problems, and descriptive complexity.

Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk

Browse the full CSL paper archive.