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
a0801681.pdf本文(Fulltext)9315KbAdobe PDFView/Open

Title :項書換え系とその保存的拡大における代数的意味論と動作意味論の関連について
Title alternative :The Relation between Algebraic and Behavioroul Semantics of Term Rewriting Systems and Their Conservative Extensions
Authors :直井, 徹
稲垣, 康善
Issue Date :Oct-1988
citation :電子情報通信学会論文誌. D, 情報・システム
AN10013389
71
10
1893
1900
Type Local :雑誌掲載論文
ISSN :0913-5731
Publisher :社団法人電子情報通信学会
Rights :copyright 1988 IEICE
URI :http://hdl.handle.net/20.500.12099/31694
Appears in Collections:Journal Article - ~1990