A Characterisation of Multiply Recursive Functions with Higman's Lemma
| Autor: | Touzet, Hélène |
|---|---|
| Zdroj: | In Information and Computation 2002 178(2):534-544 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Touzet, Hélène |
|---|---|
| Zdroj: | In Information and Computation 2002 178(2):534-544 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect