Výsledky vyhledávání - "F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0304-3975.
Témata: Complexity, Enumeration, Expected complexity, Lambda calculus complexity enumeration expected complexity, F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0304-3975.
Témata: Complexity, Enumeration, Expected complexity, Lambda calculus complexity enumeration expected complexity, F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 1879-2294.
Témata: Complexity, Enumeration, Expected complexity, Lambda calculus complexity enumeration expected complexity, F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
Relation: ensl-00578527; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00578527; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00578527v9/document; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00578527v9/file/Lescanne_counting_lambda_terms.pdf
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: https://ens-lyon.hal.science/ensl-00740034 ; 2012.
Témata: Lambda calculus, combinatorics, functional programming, test, random generator, ranking, unranking, F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1210.2610; ARXIV: 1210.2610
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: https://ens-lyon.hal.science/ensl-00740034 ; 2012.
Témata: Lambda calculus, combinatorics, functional programming, test, random generator, ranking, unranking, F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1210.2610; ARXIV: 1210.2610
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00740034 ; 2012.
Témata: Lambda calculus, combinatorics, functional programming, test, random generator, ranking, unranking, F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1210.2610; ensl-00740034; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00740034; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00740034v7/document; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00740034v7/file/KG_PL_Counting_Lambdas.pdf; ARXIV: 1210.2610
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0956-7968.
Témata: lambda calculus, combinatorics, functional programming, test, random generator, ranking, unranking, F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0956-7968.
Témata: lambda calculus, combinatorics, functional programming, test, random generator, ranking, unranking, F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1210.2610; ARXIV: 1210.2610
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0956-7968.
Témata: lambda calculus, combinatorics, functional programming, test, random generator, ranking, unranking, F.3.2 Semantics of Programming Languages F.2.2 Nonnumerical Algorithms and Problems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
Relation: ensl-00879067; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00879067
Nájsť tento článok vo Web of Science