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

近藤, 久; 栗原, 正仁; 大内, 東

北海道大學工學部研究報告, 1993, 166, 35-44

Permalink : https://hdl.handle.net/2115/42384

このアイテムのアクセス数:1,178件（2026-08-26 20:24 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
166_35-44	pdf	632 KB	862

アクセス権	open access
URI	https://hdl.handle.net/2115/42384
タイトル	ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き
タイトル	Completion with Multiple Reduction Orderings based on ATMS Data Structure
著者	近藤, 久 ; 栗原, 正仁 ; 大内, 東
著者名近藤, 久 Kondo, Hisashi
著者名栗原, 正仁 Kurihara, Masahito
著者名大内, 東 Ohuchi, Azuma
言語	日本語
発行日	1993-10-29
出版者	北海道大学
出版者	Hokkaido University
収録物名	北海道大學工學部研究報告
収録物名	Bulletin of the Faculty of Engineering, Hokkaido University
巻(号)	166
ページ	35-44
資源タイプ	紀要論文
出版タイプ	Version of Record
PISSN	0385-602X
NCID	AN00230223