Stepan L. Kuznetsov
Stepan L. Kuznetsov
Affiliation: Steklov Mathematical Institute of RAS
Talks
(FSCD)
Undecidability for semirings with fixed points · Rewriting
Pages in this Program
Program
Program on Monday, 20 July 2026
FSCD on Monday, 20 July 2026
FSCD Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑