文献

J-GLOBAL ID：200902253580490228   整理番号：05A0574455

強い正規化のための連続意味論

Continuous Semantics for Strong Normalization

著者 (1件)： BERGER Ulrich (Univ. Wales Swansea, Swansea, GBR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3526  ページ： 23-34  発行年： 2005年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 正規化 ,  意味論