LIX

Results: 507



#Item
261

Non-randomness in eSTREAM Candidates Salsa20 and TSC-4 Simon Fischer1 , Willi Meier1 , Cˆ ome Berbain , Jean-Fran¸cois Biasse2 , and M.J.B. Robshaw2 2

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2014-09-02 16:39:35
    262

    A polynomial time algorithm for computing the HNF of a module over the integers of a number field Jean-François Biasse Claus Fieker

    Add to Reading List

    Source URL: www.lix.polytechnique.fr

    Language: English - Date: 2014-09-02 16:39:33
      263

      ISSNRUCH WYDAWNICZY W LICZBACH LIX:2013

      Add to Reading List

      Source URL: bn.org.pl

      Language: Polish - Date: 2015-02-04 05:28:03
        264

        From proofs to focused proofs: a modular proof of Focalization in Linear Logic Dale Miller and Alexis Saurin ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        Language: English - Date: 2007-06-19 00:00:11
          265

          Representing and reasoning with operational semantics Dale Miller ´ INRIA & LIX, Ecole Polytechnique

          Add to Reading List

          Source URL: www.lix.polytechnique.fr

          Language: English - Date: 2006-06-08 04:55:11
            266

            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
              267

              A Unified Sequent Calculus for Focused Proofs Chuck Liang Hofstra University Department of Computer Science Hempstead, NY, USA Email:

              Add to Reading List

              Source URL: www.lix.polytechnique.fr

              Language: English - Date: 2009-05-29 17:31:18
                268

                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
                  269

                  Focused Inductive Theorem Proving David Baelde1 , Dale Miller2 , and Zachary Snow1 1 Digital Technology Center and Dept of CS, University of Minnesota 2

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  Language: English - Date: 2010-04-19 17:30:34
                    270

                    Combining generic judgments with recursive definitions Andrew Gacek Department of CS&E University of Minnesota Dale Miller

                    Add to Reading List

                    Source URL: www.lix.polytechnique.fr

                    Language: English - Date: 2008-04-11 18:46:54
                      UPDATE