Calculi of meta-variables
Masahiko SATO; Takafumi Sakurai; Yukiyoshi Kameyama; Atsushi Igarashi
- 作者Masahiko SATO; Takafumi Sakurai; Yukiyoshi Kameyama; Atsushi Igarashi
- 卷第2卷
- 期第1期
- 印刷ISSN1673-7350
- 电子ISSN1673-7466
- 文件大小198.54KB
- 发表时间2008-03
- DOI10.1007/s11704-008-0011-1
- 页码12-21