[Lecture Notes in Computer Science] TAPSOFT '97: Theory and Practice of Software Development Volume 1214 || Auxiliary variables and recursive procedures
- 作者Bidoit, Michel; Dauchet, Max
- 文件大小896.81KB
- 发表时间1997
- DOI10.1007/bfb0030635
- 页码697-711
同作者推荐
同出版社推荐
