HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Engineering / Faculty of Engineering >
北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University >
No.166 >

ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き

Files in This Item:
166_35-44.pdf632.61 kBPDFView/Open
Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/42384

Title: ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き
Other Titles: Completion with Multiple Reduction Orderings based on ATMS Data Structure
Authors: 近藤, 久1 Browse this author
栗原, 正仁2 Browse this author
大内, 東3 Browse this author
Authors(alt): Kondo, Hisashi1
Kurihara, Masahito2
Ohuchi, Azuma3
Issue Date: 29-Oct-1993
Publisher: 北海道大学
Journal Title: 北海道大學工學部研究報告
Journal Title(alt): Bulletin of the Faculty of Engineering, Hokkaido University
Volume: 166
Start Page: 35
End Page: 44
Type: bulletin (article)
URI: http://hdl.handle.net/2115/42384
Appears in Collections:北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University > No.166

Export metadata:

OAI-PMH ( junii2 , jpcoar )

MathJax is now OFF:


 

Feedback - Hokkaido University