Title 項書換え系の意味論と自由連続代数( 本文(Fulltext) )
Author(s) 直井, 徹; 稲垣, 康善
Citation [電子情報通信学会論文誌. D, 情報・システム] vol.[71] no.[6]p.[942]-[949]
Issue Date 1988-06
Rights copyright 1988 IEICE
Version 出版社版 (publisher version) postprint
URL http://hdl.handle.net/20.500.12099/31695
