![]() | ![]() |
2009 | ||
---|---|---|
3 | EE | Akitoshi Kawamura: Differential recursion. ACM Trans. Comput. Log. 10(3): (2009) |
2007 | ||
2 | EE | Akitoshi Kawamura: Differential Recursion and Differentially Algebraic Functions CoRR abs/0704.0301: (2007) |
2005 | ||
1 | EE | Akitoshi Kawamura: Type-2 Computability and Moore's Recursive Functions. Electr. Notes Theor. Comput. Sci. 120: 83-95 (2005) |