- Tytuł:
- Computing with Infinite Terms and Infinite Reductions
- Autorzy:
-
Ketema, Jeroen
Simonsen, Jakob Grue - Data publikacji:
- 2019
- Słowa kluczowe:
-
infinitary term rewriting
computability
descendants
origins
needed reductions - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł