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


Hokkaido University \| Library \| HUSCAP	Advanced Search		言語

	Home
	About HUSCAP
	Open Access Policy

	Browse by Author

Browse
	Communities & Collections

	Scholarly Journals
	Theses
	Doctoral Dissertations Listed by Graduate Schools
	Conference Procs.
	Events

	HUSCAP Senior (in Japanese)

	Societies

	Downloads (country)

For university staff
	How to post your papers to HUSCAP
	Publication of theses
	Helpline about theses publication

Open Archives Compliant

You can search our collection also at:
	Google
	Google Scholar
	CiNii
	IRDB
	OAIster
	NDLTD

Files in This Item:

166_35-44.pdf

632.61 kB

PDF

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:	近藤, 久¹ Browse this author
	栗原, 正仁² Browse this author
	大内, 東³ Browse this author
Authors(alt):	Kondo, Hisashi¹
	Kurihara, Masahito²
	Ohuchi, Azuma³
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

OAI-PMH ( junii2 , jpcoar_1.0 )

- Hokkaido University