Gifu University Institutional Repository

HOME    mypage        Japanese    library    university    Feedback

岐阜大学機関リポジトリ >
ALL_Journal Article and Conference Paper >
Journal Article - ~1990 >

 

Files in This Item:

File Description SizeFormat
a0801682.pdf本文(Fulltext)593KbAdobe PDFView/Open

Title :項書換え系の意味論と自由連続代数
Title alternative :Semantics of Term Rewriting Systems and Free Continuous Algebra
Authors :直井, 徹
稲垣, 康善
Issue Date :Jun-1988
citation :電子情報通信学会論文誌. D, 情報・システム
AN10013389
71
6
942
949
Type Local :雑誌掲載論文
ISSN :0913-5731
Publisher :社団法人電子情報通信学会
Rights :copyright 1988 IEICE
URI :http://hdl.handle.net/20.500.12099/31695
Appears in Collections:Journal Article - ~1990