Zobrazeno 1 - 4
of 4
pro vyhledávání: '"higher-order compression"'
Autor:
Isamu Furuya, Takuya Kida
Publikováno v:
Algorithms, Vol 12, Iss 8, p 159 (2019)
In this study, we address the problem of compaction of Church numerals. Church numerals are unary representations of natural numbers on the scheme of lambda terms. We propose a novel decomposition scheme from a given natural number into an arithmetic
Externí odkaz:
https://doaj.org/article/e17b6ba63779470d814f00e1316988bc
Autor:
Takuya Kida, Isamu Furuya
Publikováno v:
Algorithms
Volume 12
Issue 8
Algorithms, Vol 12, Iss 8, p 159 (2019)
Volume 12
Issue 8
Algorithms, Vol 12, Iss 8, p 159 (2019)
In this study, we address the problem of compaction of Church numerals. Church numerals are unary representations of natural numbers on the scheme of lambda terms. We propose a novel decomposition scheme from a given natural number into an arithmetic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a3cc9df656d39263e22f48161d72433
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.