Art
J-GLOBAL ID：201902202278874061   Reference number：19S0365862

A unified ordering for termination proving

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

About Yamada, Akihisa

(Graduate School of Information Science, Nagoya University)

About Graduate School of Information Science, Nagoya University

, 
Yamada, Akihisa

About Yamada, Akihisa

(National Institute of Advanced Industrial Science and Technology)

About National Institute of Advanced Industrial Science and Technology

, 
Sakabe, Toshiki

About Sakabe, Toshiki

(Graduate School of Information Science, Nagoya University)

About Graduate School of Information Science, Nagoya University

, 
Kusakari, Keiichirou

About Kusakari, Keiichirou

(Faculty of Engineering, Gifu University)

About Faculty of Engineering, Gifu University


Material：
Science of Computer Programming

About Science of Computer Programming


Volume： 111  Issue： P1  Page： 110-134  Publication year： 2015 
JST Material Number： SCOPUS  ISSN： 0167-6423  CODEN： SCPGD 
Country of issue： Netherlands (NLD)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM