Martin-Löf identity types in C-systems Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic A priori bounds for GIETs, affine shadows and rigidity of foliations in genus two
著者
書誌事項
Martin-Löf identity types in C-systems . Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic . A priori bounds for GIETs, affine shadows and rigidity of foliations in genus two
(Publications mathématiques, no. 138)
Institut des hautes études scientifiques , Springer, 2023
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references