检索结果 - function decomposition programming recursion implicit methods~

搜索替代词:
decomposition programming » compositive programming , copositive programming , computation programming
function decomposition » functional decomposition , factor decomposition
programming recursion » programming decision , programming session , programming decisions
recursion implicit » recursion complexity

1

封面图片

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

出版 2005

书本目录: “... -- Identifying Polynomial-Time Recursive Functions -- Confluence of Shallow Right-Linear Rewrite Systems...”
获取全文

电子电子书