在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion implicit » recursion complexity
implicit theory » implicit theories, implicit memory
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion implicit » recursion complexity
implicit theory » implicit theories, implicit memory
1
出版 2005
书本目录:
“... Algorithm -- Implicit Computational Complexity and Rewriting -- A Propositional Proof System for Log Space...”获取全文
电子
电子书
2
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
出版 2006
书本目录:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”获取全文
电子
电子书
3
出版 2015
书本目录:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”获取全文
电子
电子书