名城大学附属図書館

Martin-Löf identity types in C-systems

by Vladimir Voevodsky . Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic / by Bhargav Bhatt ... [et al.] . A priori bounds for GIETs, affine shadows and rigidity of foliations in genus two / by Selim Ghazouani and Corinna Ulcigrai. -- Institut des hautes études scientifiques, 2023. -- (Publications mathématiques ; no. 138). <BB05316649>
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 本館 1F 書庫 410.8/P976/138 21281469 0件
No. 0001
巻号
所蔵館 本館
配置場所 1F 書庫
請求記号 410.8/P976/138
資料ID 21281469
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 Martin-Löf identity types in C-systems / by Vladimir Voevodsky . Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic / by Bhargav Bhatt ... [et al.] . A priori bounds for GIETs, affine shadows and rigidity of foliations in genus two / by Selim Ghazouani and Corinna Ulcigrai
出版・頒布事項 Bures-sur-Yvette : Institut des hautes études scientifiques
出版・頒布事項 [Berlin] : Springer , 2023
形態事項 366 p. : ill. ; 27 cm
書誌構造リンク Publications mathématiques <BB05265141> no. 138//a
注記 Includes bibliographical references
学情ID BD0517449X
本文言語コード 英語
著者標目リンク Voevodsky, Vladimir <AU00084965>
著者標目リンク Bhatt, Bhargav <>
著者標目リンク Ghazouani, Selim <>
著者標目リンク Ulcigrai, Corinna <>