Quotient Structures and Groups Computable in Polynomial Time

von Alaev, Pavel
Veröffentlicht in International Computer Science Symposium (17. : 2022 : Online) Computer science - theory and applications (2022)

Complexity Issues for the Iterated h-Preorders

von Alaev, Pavel
Veröffentlicht in DCFS (23. : 2021 : Online) Descriptional complexity of formal systems (2021)