代数的記述に基づく抽象的順序機械の処理系の作成
Title | 代数的記述に基づく抽象的順序機械の処理系の作成 |
---|---|
Authors | 鷲坂光一, 井上克郎, 杉山裕二, 鳥居宏次 |
Reference | 情報処理学会 ソフトウェア工学 52-9 |
Type | report / 研究会 |
Date | Feb 13, 1987 |
ID | 17 |
Files | |
Citation | @techreport{1987ID17, author = {, 鷲坂光一 and , 井上克郎 and , 杉山裕二 and , 鳥居宏次}, year = {1987}, month = {feb 13}, title = {代数的記述に基づく抽象的順序機械の処理系の作成}, } |