×

Found 280 Documents (Results 1–100)

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. arXiv:2402.12051

Preprint, arXiv:2402.12051 [math.CT] (2024).
BibTeX Cite
Full Text: arXiv

Trade-off for heterogeneous distributed storage systems between storage and repair cost. (English. Russian original) Zbl 1459.68050

Probl. Inf. Transm. 57, No. 1, 33-53 (2021); translation from Probl. Peredachi Inf. 57, No. 1, 40-63 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software