Výsledky vyhľadávania - Lambda calculus complexity enumeration expected complexity
-
1
Autori: Lescanne, Pierre
Prispievatelia: Lescanne, Pierre
Zdroj: Theoretical Computer Science. 474:80-97
Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Discrete Mathematics (cs.DM), Enumeration, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Complexity, 0102 computer and information sciences, Expected complexity, 16. Peace & justice, 01 natural sciences, Theoretical Computer Science, Logic in Computer Science (cs.LO), [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Lambda calculus complexity enumeration expected complexity, 0101 mathematics, Computer Science(all), Computer Science - Discrete Mathematics
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/1107.1327
https://dblp.uni-trier.de/db/journals/corr/corr1107.html#abs-1107-1327
http://www.sciencedirect.com/science/article/pii/S0304397512010493
https://www.sciencedirect.com/science/article/pii/S0304397512010493#!
https://arxiv.org/abs/1107.1327
https://www.sciencedirect.com/science/article/pii/S0304397512010493
https://dblp.uni-trier.de/db/journals/tcs/tcs474.html#Lescanne13 -
2
Autori: ZORZI, MARGHERITA
Zdroj: Mathematical Structures in Computer Science; Oct2016, Vol. 26 Issue 7, p1107-1195, 89p
-
3
Autori:
Zdroj: Optimization Methods & Software; Aug-Dec2018, Vol. 33 Issue 4-6, p1207-1231, 25p
-
4
-
5
Autori: a ďalší
Zdroj: Journal of Logic & Computation; Feb2016, Vol. 26 Issue 1, p293-335, 43p
Predmety: CONFIRMATION (Logic), TYPE theory, LAMBDA calculus, MODAL logic, PERMUTATIONS
-
6
Autori: a ďalší
Zdroj: SIAM Journal on Imaging Sciences; 2025, Vol. 18 Issue 2, p789-821, 38p
-
7
Autori:
Zdroj: Journal of Logic & Computation; Jun2004, Vol. 14 Issue 3, p373-394, 22p
-
8
Autori:
Zdroj: Journal of Logic & Computation; Dec2022, Vol. 32 Issue 8, p1747-1795, 49p
Predmety: COMPUTABLE functions, MATHEMATICS
-
9
Autori: a ďalší
Zdroj: Environmental DNA; Nov2023, Vol. 5 Issue 6, p1449-1472, 24p
-
10
Autori: a ďalší
Typ zdroja: eBook.
Kategórie: COMPUTERS / General, COMPUTERS / Computer Engineering, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Mechanical
Plný text ve formátu PDF Plný text vo formáte ePub -
11
Autori:
Zdroj: Journal of Functional Programming; Jan2004, Vol. 14 Issue 1, p69-111, 43p
-
12
Autori: a ďalší
Zdroj: Entropy; May2023, Vol. 25 Issue 5, p763, 20p
-
13
Autori:
Zdroj: Nuclear Science & Engineering; 2025 Suppl 1, Vol. 199, pS649-S663, 15p
-
14
Autori:
Zdroj: Selecta Mathematica, New Series; Nov2025, Vol. 31 Issue 5, p1-58, 58p
Predmety: CLUSTER set theory, CATALAN numbers, TOPOLOGICAL property
-
15
Autori: a ďalší
Zdroj: SIAM Journal on Computing; 2024, Vol. 53 Issue 6, p38-73, 36p
Predmety: LINEAR codes, PROBABILITY theory
-
16
Autori: a ďalší
Zdroj: Foundations & Trends in Programming Languages; 2025, Vol. 8 Issue 3/4, p250-408, 159p
-
17
Autori:
Zdroj: Eurasia Journal of Mathematics, Science & Technology Education; Jun2025, Vol. 21 Issue 6, p1-22, 22p
-
18
Autori:
Zdroj: Theory of Computing Systems; Jul2012, Vol. 51 Issue 1, p85-105, 21p
-
19
Autori:
Zdroj: Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-63, 63p
-
20
Autori: a ďalší
Zdroj: SIAM Journal on Computing; 2024, Vol. 53 Issue 5, p1524-1577, 54p
Full Text Finder
Nájsť tento článok vo Web of Science