文献

J-GLOBAL ID：200902248335834961   整理番号：05A0470443

簡単に型付けされた用語書き替えのための依存性対

Dependency Pairs for Simply Typed Term Rewriting

著者 (2件)： AOTO Takahito (Tohoku Univ., JPN) ,  YAMADA Toshiyuki (Mie Univ., JPN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3467  ページ： 120-134  発行年： 2005年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 型付け ,  用語 ,  書き替え ,  依存性