المؤلفون: Pierre Lescanne

المصدر: Discrete Mathematics & Theoretical Computer Science, Vol vol. 25:2 (2024)

مصطلحات موضوعية: combinatorics, random generation, motzkin number, catalan number, binary tree, unary-binary tree, schroeder number, combinatorics random generation motzkin number catalan number binary tree unary-binary tree, [info.info-cc]computer science [cs]/computational complexity [cs.cc], [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds], Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://dmtcs.episciences.org/10952/pdf; https://doaj.org/toc/1365-8050

URL الوصول: https://doaj.org/article/d9fd8077e1a34b0b9b9060144ab3e797

المؤلفون: Maciej Bendkowski, Pierre Lescanne

المصدر: Logical Methods in Computer Science, Vol Volume 15, Issue 4 (2019)

مصطلحات موضوعية: computer science - logic in computer science, mathematics - combinatorics, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/4998/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/761de07f18ae4d9db633c666e01e9fa9

المؤلفون: Pierre Lescanne

المصدر: Journal of Formalized Reasoning, Vol 11, Iss 1, Pp 1-17 (2018)

مصطلحات موضوعية: extensive game, infinite game, sequential game, coinduction, coq, proof assistant, Electronic computers. Computer science, QA75.5-76.95, Analytic mechanics, QA801-939

وصف الملف: electronic resource

Relation: https://jfr.unibo.it/article/view/7517; https://doaj.org/toc/1972-5787

URL الوصول: https://doaj.org/article/08092dde25ef414fbd61e0b8c6ecc7ab

المؤلفون: Pierre Lescanne

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, General Mathematics, Computer Science::Logic in Computer Science, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), Software, Computer Science Applications, Logic in Computer Science (cs.LO)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49fadb4ae68df6058ffd2629c8aea968

المؤلفون: Marion Cr��hange, Pierre Lescanne, Alain Qu��r��

مصطلحات موضوعية: FOS: Computer and information sciences

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d74a716bd45e9849609bc43fed3de5b5

المؤلفون: Pierre Lescanne

المساهمون: Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL)

المصدر: ACM Transactions on Computational Logic
ACM Transactions on Computational Logic, Association for Computing Machinery, 2018, 19 (2), pp.1-18. ⟨10.1145/3173547⟩
ACM Transactions on Computational Logic, 2018, 19 (2), pp.1-18. ⟨10.1145/3173547⟩

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, General Computer Science, Discrete Mathematics (cs.DM), Logic, functional programming, 0102 computer and information sciences, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Lambda, 01 natural sciences, Theoretical Computer Science, Affine combination, Affine hull, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], FOS: Mathematics, Mathematics - Combinatorics, 0101 mathematics, ComputingMilieux_MISCELLANEOUS, Lambda calculus, computer.programming_language, Mathematics, Variable (mathematics), Discrete mathematics, Functional programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer Science - Programming Languages, [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], 010102 general mathematics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Mathematics - Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, Data structure, Logic in Computer Science (cs.LO), Computational Mathematics, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], 010201 computation theory & mathematics, combinatorics, Affine transformation, Combinatorics (math.CO), Logic (math.LO), computer, Computer Science - Discrete Mathematics, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6c52afc43180c3b0866c45106d506ca
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892358

المؤلفون: Pierre Lescanne, Maciej Bendkowski

المساهمون: Theoretical Computer Science Department [Krakow] (TCS), Uniwersytet Jagielloński w Krakowie = Jagiellonian University (UJ), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), ACM et Université de Francfort de, École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL)

المصدر: PPDP 2016
PPDP 2016, ACM et Université de Francfort de, Sep 2018, Frankfurt am Main, France. ⟨10.1145/3236950.3236951⟩
PPDP

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Pure mathematics, Current (mathematics), Distribution (number theory), Computer science, Computation, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Catalan number, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Mathematics - Combinatorics, Sequence, [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], Substitution (logic), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, Extension (predicate logic), Resolution (logic), Logic in Computer Science (cs.LO), [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], 010201 computation theory & mathematics, High Energy Physics::Experiment, Combinatorics (math.CO)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::865a30262ac6491b22cfc0207b98f3ac
https://ruj.uj.edu.pl/xmlui/handle/item/56971

المؤلفون: Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, Maciej Bendkowski

المساهمون: Theoretical Computer Science Department [Krakow] (TCS), Uniwersytet Jagielloński w Krakowie = Jagiellonian University (UJ), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), Rusins Martins Freivalds, Gregor Engels, Barbara Catania, Lescanne, Pierre, Rusins Martins Freivalds, Gregor Engels, Barbara Catania

المصدر: Lecture Notes in Computer Science ISBN: 9783662491911
SOFSEM
SOFSEM 2016
SOFSEM 2016, Jan 2016, Harrachov, Czech Republic

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Constructive proof, Discrete Mathematics (cs.DM), ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, functional programming, lambda calculus, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Lambda, 01 natural sciences, Combinatorics, test, ranking, [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mathematics - Combinatorics, Natural density, unranking, ComputingMilieux_MISCELLANEOUS, Mathematics, computer.programming_language, Functional programming, Sequence, Computer Science - Programming Languages, Binary tree, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], random generator, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, Mathematics - Logic, Logic in Computer Science (cs.LO), [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], 010201 computation theory & mathematics, combinatorics, [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT], [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], Combinatorics (math.CO), Lambda calculus, Bijection, injection and surjection, Logic (math.LO), computer, Computer Science - Discrete Mathematics, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3c3f1d44db100732fc8efa09ed5a6e9
https://ens-lyon.hal.science/ensl-01159746

المؤلفون: Steffen van Bakel, Pierre Lescanne

المصدر: Mathematical Structures in Computer Science. 18:555-609

مصطلحات موضوعية: Discrete mathematics, Mathematics (miscellaneous), Reduction (recursion theory), Syntax (programming languages), Content (measure theory), Classical logic, Formal language, Order (ring theory), Sequent calculus, Isomorphism, Computer Science Applications, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ed64c8ad82c8ecd79c0bda311abd89d2
https://doi.org/10.1017/s0960129508006762

المؤلفون: Silvia Ghilezan, Daniel J. Dougherty, Pierre Lescanne

المصدر: Theoretical Computer Science. 398:114-128

مصطلحات موضوعية: Discrete mathematics, Normalization (statistics), General Computer Science, InformationSystems_INFORMATIONSYSTEMSAPPLICATIONS, Classical logic, Sequent calculus, ComputingMilieux_LEGALASPECTSOFCOMPUTING, Intersection-types, Theoretical Computer Science, Subject reduction, Calculus, Sequent, Lambda calculus, computer, Computer Science(all), computer.programming_language, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fbd7a54e5f202fc1474ba89a9882d3d
https://doi.org/10.1016/j.tcs.2008.01.022