Search Results - "Generating random combinatorial structures Theory of Computation"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    Boltzmann samplers for random generation of lambda terms

    Authors: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure de Lyon (ENS de Lyon) et al.

    Contributors: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure de Lyon (ENS de Lyon) et al.

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

    Subject Terms: 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

    Availability: 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
    Save to List
  2. 2

    Boltzmann samplers for random generation of lambda terms

    Authors: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure de Lyon (ENS de Lyon) et al.

    Contributors: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure de Lyon (ENS de Lyon) et al.

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

    Subject Terms: 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

    Availability: 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
    Save to List
  3. 3

    Boltzmann samplers for random generation of lambda terms

    Authors: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL) et al.

    Contributors: Lescanne, Pierre Laboratoire de l'Informatique du Parallélisme (LIP) École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL) et al.

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

    Subject Terms: 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

    Availability: 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
    Save to List

Search Tools: