Výsledky vyhledávání - "Generating random combinatorial structures Theory of Computation"

  • Zobrazuji výsledky 1 - 3 z 3
Upřesnit hledání
  1. 1

    Boltzmann samplers for random generation of lambda terms

    Autoři: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure de Lyon (ENS de Lyon) a další

    Přispěvatelé: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure de Lyon (ENS de Lyon) a další

    Zdroj: https://ens-lyon.hal.science/ensl-00979074 ; 2014.

    Témata: lambda calculus, combinatorics, functional programming, test, random generator, Boltzmann sampler, Theory of Computation, Randomness, geometry and discrete structures, Generating random combinatorial structures Theory of Computation, Logic, Type theory Software and its engineering, Software notations and tools, General programming languages, Language, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1404.3875; ARXIV: 1404.3875

    Dostupnost: https://ens-lyon.hal.science/ensl-00979074
    https://ens-lyon.hal.science/ensl-00979074v2/document
    https://ens-lyon.hal.science/ensl-00979074v2/file/boltzmann.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Boltzmann samplers for random generation of lambda terms

    Autoři: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure de Lyon (ENS de Lyon) a další

    Přispěvatelé: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure de Lyon (ENS de Lyon) a další

    Zdroj: https://ens-lyon.hal.science/ensl-00979074 ; 2014.

    Témata: lambda calculus, combinatorics, functional programming, test, random generator, Boltzmann sampler, Theory of Computation, Randomness, geometry and discrete structures, Generating random combinatorial structures Theory of Computation, Logic, Type theory Software and its engineering, Software notations and tools, General programming languages, Language, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1404.3875; ARXIV: 1404.3875

    Dostupnost: https://ens-lyon.hal.science/ensl-00979074
    https://ens-lyon.hal.science/ensl-00979074v2/document
    https://ens-lyon.hal.science/ensl-00979074v2/file/boltzmann.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Boltzmann samplers for random generation of lambda terms

    Autoři: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL) a další

    Přispěvatelé: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL) a další

    Zdroj: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00979074 ; 2014.

    Témata: lambda calculus, combinatorics, functional programming, test, random generator, Boltzmann sampler, Theory of Computation, Randomness, geometry and discrete structures, Generating random combinatorial structures Theory of Computation, Logic, Type theory Software and its engineering, Software notations and tools, General programming languages, Language, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1404.3875; ensl-00979074; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00979074; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00979074v2/document; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00979074v2/file/boltzmann.pdf; ARXIV: 1404.3875

    Dostupnost: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00979074
    https://hal-ens-lyon.archives-ouvertes.fr/ensl-00979074v2/document
    https://hal-ens-lyon.archives-ouvertes.fr/ensl-00979074v2/file/boltzmann.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: