- Tytuł:
- First and Second Order Recursion on Abstract Data Types
- Autorzy:
-
Xu, J.
Zucker, J. - Data publikacji:
- 2005
- Słowa kluczowe:
-
model of computation
many-sorted algebras
recursive schems
recursive procedures
fixed point
computation on abstract data types
abstract computability - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł