Algebras

Results: 1314



#Item
81Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto?2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto?2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2

Add to Reading List

Source URL: www.math.lmu.de

- Date: 2011-05-23 12:16:42
    82Journal of Universal Computer Science, vol. 16, no), submitted: , accepted: , appeared: © J.UCS Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Co

    Journal of Universal Computer Science, vol. 16, no), submitted: , accepted: , appeared: © J.UCS Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Co

    Add to Reading List

    Source URL: www.cs.swan.ac.uk

    - Date: 2011-01-07 04:22:50
      83Theory and Applications of Categories, Vol. 10, No. 17, 2002, pp. 424–460. ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC RICHARD F. BLUTE, FRANÇOIS LAMARCHE, PAUL RUET ABSTRACT. We give a definition of

      Theory and Applications of Categories, Vol. 10, No. 17, 2002, pp. 424–460. ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC RICHARD F. BLUTE, FRANÇOIS LAMARCHE, PAUL RUET ABSTRACT. We give a definition of

      Add to Reading List

      Source URL: www.tac.mta.ca

      - Date: 2002-10-11 13:21:20
        84Algebras and Bialgebras via categories with distinguished objects Vaughan Pratt Stanford University

        Algebras and Bialgebras via categories with distinguished objects Vaughan Pratt Stanford University

        Add to Reading List

        Source URL: boole.stanford.edu

        - Date: 2016-10-11 01:10:12
          85FREE FACTORIZATION ALGEBRAS AND HOMOLOGY OF CONFIGURATION SPACES IN ALGEBRAIC GEOMETRY ` Q.P. HÔ ABSTRACT. We provide a construction of free factorization algebras in algebraic geometry and link factorization homology

          FREE FACTORIZATION ALGEBRAS AND HOMOLOGY OF CONFIGURATION SPACES IN ALGEBRAIC GEOMETRY ` Q.P. HÔ ABSTRACT. We provide a construction of free factorization algebras in algebraic geometry and link factorization homology

          Add to Reading List

          Source URL: math.uchicago.edu

          - Date: 2016-10-12 18:26:28
            86Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

            Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

            Add to Reading List

            Source URL: logic.cse.unt.edu

            - Date: 2010-05-18 10:11:53
              87Semantics for a Quantum Programming Language by Operator Algebras Kenta Cho Institute for Computing and Information Sciences (iCIS) Radboud University Nijmegen, The Netherlands , http://www.cs.ru.nl/K.Cho/

              Semantics for a Quantum Programming Language by Operator Algebras Kenta Cho Institute for Computing and Information Sciences (iCIS) Radboud University Nijmegen, The Netherlands , http://www.cs.ru.nl/K.Cho/

              Add to Reading List

              Source URL: www.cs.ru.nl

              - Date: 2016-10-24 16:26:49
                88Arithmetic with Free Algebras and Hereditarily Finite Sets: a Natural Bridge between Numeric and Symbolic Computations Paul Tarau University of North Texas Friday,13:30-14:20

                Arithmetic with Free Algebras and Hereditarily Finite Sets: a Natural Bridge between Numeric and Symbolic Computations Paul Tarau University of North Texas Friday,13:30-14:20

                Add to Reading List

                Source URL: logic.cse.unt.edu

                - Date: 2012-09-28 06:17:58
                  89365 Documenta Math. Schur Class Operator Functions and Automorphisms of Hardy Algebras

                  365 Documenta Math. Schur Class Operator Functions and Automorphisms of Hardy Algebras

                  Add to Reading List

                  Source URL: www.math.uiuc.edu

                  - Date: 2008-08-03 09:00:22
                    90Combinatorial Models of Quantum Algebras Advisor: Karel Casteels Very roughly speaking, a quantization Aq of a commutative K-algebra A is a noncommutative algebra with relations depending on a parameter q ∈ K∗ such t

                    Combinatorial Models of Quantum Algebras Advisor: Karel Casteels Very roughly speaking, a quantization Aq of a commutative K-algebra A is a noncommutative algebra with relations depending on a parameter q ∈ K∗ such t

                    Add to Reading List

                    Source URL: math.ucsb.edu

                    - Date: 2015-11-25 18:34:19