- Tytuł:
- Proof Methods for Corecursive Programs
- Autorzy:
-
Gibbons, J.
Hutton, G. - Data publikacji:
- 2005
- Słowa kluczowe:
-
recursion theory
symbolic
mathematical logic
computer programming
approximation theory
recursive programming - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł