| |
| 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) |