![](/img/cover-not-exists.png)
AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
BAZHENOV, NIKOLAY, HARRISON-TRAINOR, MATTHEW, KALIMULLIN, ISKANDER, MELNIKOV, ALEXANDER, MENG NG, KENGLanguage:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2019.26
Date:
April, 2019
File:
PDF, 747 KB
english, 2019