Download citation
Two extensions of system
with (co)iteration and primitive
(co)recursion principles
with (co)iteration and primitive
(co)recursion principles
Favio Ezequiel Miranda-Perea
RAIRO-Theor. Inf. Appl. 43 (4) 703-766 (2009)
DOI: 10.1051/ita/2009015
| Download this article citation: |
Back to article