文献
J-GLOBAL ID：201902221184978216   整理番号：19S0352512

Correctness of context-moving transformations for term rewriting systems

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (4件)：
Sato, Koichi

Sato, Koichi について

(RIEC, Tohoku University)

RIEC, Tohoku University について

, 
Kikuchi, Kentaro

Kikuchi, Kentaro について

(RIEC, Tohoku University)

RIEC, Tohoku University について

, 
Aoto, Takahito

Aoto, Takahito について

(RIEC, Tohoku University)

RIEC, Tohoku University について

, 
Toyama, Yoshihito

Toyama, Yoshihito について

(RIEC, Tohoku University)

RIEC, Tohoku University について


資料名：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) について


巻： 9527  ページ： 331-345  発行年： 2015年 
JST資料番号： SCOPUS  ISSN： 0302-9743  ISBN： 9783319274355 
発行国： ドイツ (DEU)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM