Art
J-GLOBAL ID：201902221184978216   Reference number：19S0352512

Correctness of context-moving transformations for term rewriting systems

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (4)：
Sato, Koichi

About Sato, Koichi

(RIEC, Tohoku University)

About RIEC, Tohoku University

, 
Kikuchi, Kentaro

About Kikuchi, Kentaro

(RIEC, Tohoku University)

About RIEC, Tohoku University

, 
Aoto, Takahito

About Aoto, Takahito

(RIEC, Tohoku University)

About RIEC, Tohoku University

, 
Toyama, Yoshihito

About Toyama, Yoshihito

(RIEC, Tohoku University)

About RIEC, Tohoku University


Material：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

About Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)


Volume： 9527  Page： 331-345  Publication year： 2015 
JST Material Number： SCOPUS  ISSN： 0302-9743  ISBN： 9783319274355 
Country of issue： Germany (DEU)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM