MaRDI QIDQ5109519
Stepan Kochemazov, Aleksandr Anatol'evich Semënov, Oleg Sergeevich Zaikin, Ilya Otpuschennikov, Irina Gribanova
Publication date: 12 May 2020
Full work available at URL: https://arxiv.org/abs/1805.07239
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science
Uses Software