Palaiseau

Results: 122



#Item
51Well-partial-orderings and hierarchies of binary trees Gyesik Lee 1 LIX-INRIA Futurs, Ecole Polytechnique, 91128 Palaiseau Cedex, France Abstract

Well-partial-orderings and hierarchies of binary trees Gyesik Lee 1 LIX-INRIA Futurs, Ecole Polytechnique, 91128 Palaiseau Cedex, France Abstract

Add to Reading List

Source URL: formal.hknu.ac.kr

Language: English - Date: 2013-07-04 05:33:20
    52Computation with perturbed dynamical systems Olivier Bournez Ecole Polytechnique, LIX, 91128 Palaiseau Cedex, France Daniel S. Gra¸ca DM/FCT, Universidade do Algarve, C. Gambelas, Faro, Portugal

    Computation with perturbed dynamical systems Olivier Bournez Ecole Polytechnique, LIX, 91128 Palaiseau Cedex, France Daniel S. Gra¸ca DM/FCT, Universidade do Algarve, C. Gambelas, Faro, Portugal

    Add to Reading List

    Source URL: w3.ualg.pt

    Language: English - Date: 2012-12-11 10:49:09
      53PREUVES ALGORITHMIQUES POUR LA TRANSCENDANCE DES SÉRIES Thématique : Calcul formel Institution : Centre de recherche INRIA - Saclay-ÎDF Lieu : Palaiseau (France) Équipe/projet : SpecFun

      PREUVES ALGORITHMIQUES POUR LA TRANSCENDANCE DES SÉRIES Thématique : Calcul formel Institution : Centre de recherche INRIA - Saclay-ÎDF Lieu : Palaiseau (France) Équipe/projet : SpecFun

      Add to Reading List

      Source URL: specfun.inria.fr

      Language: French - Date: 2014-09-18 05:49:38
        54Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org

        Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        Language: English - Date: 2007-08-02 03:39:16
          55A Normal Higher-Order Termination ´ Jean-Pierre Jouannaud, LIX, Ecole Polytechnique, Palaiseau, France Albert Rubio, Technical University of Catalonia, Barcelona, Spain

          A Normal Higher-Order Termination ´ Jean-Pierre Jouannaud, LIX, Ecole Polytechnique, Palaiseau, France Albert Rubio, Technical University of Catalonia, Barcelona, Spain

          Add to Reading List

          Source URL: tocl.acm.org

          Language: English
            56EFFICIENT SYMBOLIC RESOLUTION OF SYSTEMS OF LINEAR DIFFERENTIAL AND DIFFERENCE EQUATIONS Field: Computer algebra Institution: INRIA - Saclay-ÎDF Place: Palaiseau (France)

            EFFICIENT SYMBOLIC RESOLUTION OF SYSTEMS OF LINEAR DIFFERENTIAL AND DIFFERENCE EQUATIONS Field: Computer algebra Institution: INRIA - Saclay-ÎDF Place: Palaiseau (France)

            Add to Reading List

            Source URL: specfun.inria.fr

            Language: English - Date: 2014-10-15 11:13:04
              57ALGORITHMIC PROOFS FOR THE TRANSCENDENCE OF POWER SERIES Field: Computer algebra Institution: INRIA - Saclay-ÎDF Place: Palaiseau (France) Team: SpecFun

              ALGORITHMIC PROOFS FOR THE TRANSCENDENCE OF POWER SERIES Field: Computer algebra Institution: INRIA - Saclay-ÎDF Place: Palaiseau (France) Team: SpecFun

              Add to Reading List

              Source URL: specfun.inria.fr

              Language: English - Date: 2014-10-17 13:14:49
                58Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France

                Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                Language: English - Date: 2014-03-13 12:13:02
                59LUNDI À VENDREDI ORLY Orly Ouest – MASSY-PALAISEAU Gare RER B – SACLAY Christ (RN 306) – MONTIGNY-LE-BRETONNEUX St-Quentin Gare (av. des Prés) LUNDI À VENDREDI MONTIGNY-LE-BRETONNEUX St-Quentin Gare (av. des Pr

                LUNDI À VENDREDI ORLY Orly Ouest – MASSY-PALAISEAU Gare RER B – SACLAY Christ (RN 306) – MONTIGNY-LE-BRETONNEUX St-Quentin Gare (av. des Prés) LUNDI À VENDREDI MONTIGNY-LE-BRETONNEUX St-Quentin Gare (av. des Pr

                Add to Reading List

                Source URL: www.albatrans.net

                - Date: 2014-10-29 12:25:45
                  60Please register bynoon on Tuesday May 19th Colloquium Ehrenfestii Wednesday, 20 May 2015 Jean-Philippe Bouchaud (Palaiseau)

                  Please register bynoon on Tuesday May 19th Colloquium Ehrenfestii Wednesday, 20 May 2015 Jean-Philippe Bouchaud (Palaiseau)

                  Add to Reading List

                  Source URL: casimir.researchschool.nl

                  Language: English - Date: 2015-05-18 05:05:13