Linear

Results: 27143



#Item
641

On Structuring Proof Search for First Order Linear Logic

Add to Reading List

Source URL: www.ki.inf.tu-dresden.de

- Date: 2006-03-26 13:44:51
    642

    Lecture 1 LPs: Algebraic View∗ 1.1 Introduction to Linear Programming

    Add to Reading List

    Source URL: www.cs.cmu.edu

    - Date: 2011-10-01 20:24:27
      643

      Automotive ICs Battery Management, Linear Regulators, Battery Chargers, Switching Regulators, Multiphase Controllers, Bridge Drivers, LCD Display Controllers, Video Decoders

      Add to Reading List

      Source URL: www.intersil.com

      - Date: 2016-11-18 14:41:09
        644

        On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal

        Add to Reading List

        Source URL: hal.archives-ouvertes.fr

        - Date: 2016-07-12 08:42:58
          645

          Emulating Linear Types in Haskell Wolfgang Jeltsch Linear logic

          Add to Reading List

          Source URL: cs.ioc.ee

          - Date: 2012-02-17 05:07:23
            646

            Linear Work Suffix Array Construction Juha K¨arkk¨ainen∗ Peter Sanders† Stefan Burkhardt‡

            Add to Reading List

            Source URL: www.cs.helsinki.fi

            - Date: 2005-04-19 08:55:49
              647

              Linear and Multilinear Algebra, 1977, Vol. 5, pp © Gordon and Breach Science Publishers Ltd., 1977 Printed in Great Britain This material may be protected by copyright law

              Add to Reading List

              Source URL: www.math.wisc.edu

              - Date: 2009-08-10 22:20:17
                648

                Lunar and Planetary Science XXXIVpdf IMPACT TSUNAMI CALCULATIONS: HYDRODYNAMICAL SIMULATIONS VS. LINEAR THEORY. D. G. Korycansky, E. Asphaug, S. N. Ward, CODEP, Department of Earth Sciences, University of C

                Add to Reading List

                Source URL: www.lpi.usra.edu

                - Date: 2003-02-03 08:42:04
                  649

                  U.S. TV & VIDEO MARKET AT-A-GLANCE Q3 2016 TELEVISION INSIGHTS LINEAR TV ACCELERATION GROWTH OF ADVANCED TV

                  Add to Reading List

                  Source URL: www.videologygroup.com

                  - Date: 2016-11-08 13:06:57
                    650

                    5022-D039778 01 Mxxx / Axxx Drehende / linear bewegte elektrische Maschine

                    Add to Reading List

                    Source URL: www.wittenstein.de

                      UPDATE