2020 North American Annual Meeting of the Association for Symbolic Logic
University of California, Irvine
March 25-28, 2020
Негізгі бет Infinitary proof theory of first order linear logic with fixed points - Farzaneh Derakhshan
2020 North American Annual Meeting of the Association for Symbolic Logic
University of California, Irvine
March 25-28, 2020
Пікірлер