Unification

Results: 1593



#Item
11General Systems and Grand Unification, 2:36 PM General Systems and a

General Systems and Grand Unification, 2:36 PM General Systems and a "Theory of Everything": Essays on Physics and the Nature of Reality

Add to Reading List

Source URL: www.johnagowan.org

Language: English - Date: 2017-05-23 17:36:44
    12LNCSEliminating Implicit Information Leaks by Transformational Typing and Unification

    LNCSEliminating Implicit Information Leaks by Transformational Typing and Unification

    Add to Reading List

    Source URL: software.imdea.org

    Language: English - Date: 2010-09-02 11:11:48
      13Synthesis through Unification ? ˇ Rajeev Alur1 , Pavol Cern´

      Synthesis through Unification ? ˇ Rajeev Alur1 , Pavol Cern´

      Add to Reading List

      Source URL: ecee.colorado.edu

      Language: English - Date: 2015-06-01 23:12:45
        14BY KARL-10HAN GOMBRH CMI - Champion of the unification of maritime law CMI, Comite Maritime International, is a non-governmental,

        BY KARL-10HAN GOMBRH CMI - Champion of the unification of maritime law CMI, Comite Maritime International, is a non-governmental,

        Add to Reading List

        Source URL: comitemaritime.org

        Language: English
          15Solving Equational Problems: Matching and Unification Temur Kutsia RISC, Johannes Kepler University Linz, Austria, http://www.risc.jku.at/people/tkutsia

          Solving Equational Problems: Matching and Unification Temur Kutsia RISC, Johannes Kepler University Linz, Austria, http://www.risc.jku.at/people/tkutsia

          Add to Reading List

          Source URL: www.win.tue.nl

          - Date: 2017-02-02 07:22:52
            16Outline N OMINAL C- UNIFICATION ´ † , Washington L. R. de Carvalho Segundo†‡ , Mauricio Ayala-Rincon ‡

            Outline N OMINAL C- UNIFICATION ´ † , Washington L. R. de Carvalho Segundo†‡ , Mauricio Ayala-Rincon ‡

            Add to Reading List

            Source URL: www.sci.unich.it

            - Date: 2017-10-23 05:15:53
              17Kavvanot and Blessings when Putting on Tefillin For the sake of the unification of the blessed Holy One and Shekhinah, I act with awe and love, unifying YH and VH in one complete

              Kavvanot and Blessings when Putting on Tefillin For the sake of the unification of the blessed Holy One and Shekhinah, I act with awe and love, unifying YH and VH in one complete

              Add to Reading List

              Source URL: www.jewishspirituality.org

              - Date: 2015-07-07 10:00:23
                18Unification in the Description Logic EL without the Top Concept Franz Baader1? , Nguyen Thanh Binh2 , Stefan Borgwardt1? , and Barbara Morawska1? 1

                Unification in the Description Logic EL without the Top Concept Franz Baader1? , Nguyen Thanh Binh2 , Stefan Borgwardt1? , and Barbara Morawska1? 1

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2011-06-26 10:20:40
                  19Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

                  Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2009-07-07 04:46:34
                    20ASIAN PERSPECTIVE, Vol. 21, No. 3, Winter 1997, ppKOREAN UNIFICATION: THE ZERO-SUM PAST AND THE PRECARIOUS FUTURE

                    ASIAN PERSPECTIVE, Vol. 21, No. 3, Winter 1997, ppKOREAN UNIFICATION: THE ZERO-SUM PAST AND THE PRECARIOUS FUTURE

                    Add to Reading List

                    Source URL: www2.law.columbia.edu

                    - Date: 2002-03-13 12:29:50