Coinductive Field of Exact Real Numbers and General Corecursion
| Autor: | Niqui, Milad a, 1 |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 20 October 2006 164(1):121-139 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Niqui, Milad a, 1 |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 20 October 2006 164(1):121-139 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect