Stepan L. Kuznetsov
Stepan L. Kuznetsov
Affiliation: Steklov Mathematical Institute of RAS
Pages in this Program
Undecidability for semirings with fixed points
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑