Works matching DE "FUNCTOR theory"


Results: 492
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11

    Programming with Term Logic.

    Published in:
    BRAIN: Broad Research in Artificial Intelligence & Neuroscience, 2018, v. 9, n. 3, p. 22
    By:
    • Castro-Manzano, J. Martín;
    • Lozano-Cobos, L. Ignacio;
    • Reyes-Cárdenas, Paniel O.
    Publication type:
    Article
    12
    13

    Nearness BCK-Algebras.

    Published in:
    International Journal of Open Problems in Computer Science & Mathematics, 2015, v. 8, n. 4, p. 37, doi. 10.12816/0023172
    By:
    • Öztürk, M. A.;
    • Çelik Siner, İ.;
    • Jun, Y. B.
    Publication type:
    Article
    14
    15
    16
    17
    18
    19

    There is no monad based on Hartman-Mycielski functor.

    Published in:
    Proceedings of the Indian Academy of Sciences: Mathematical Sciences, 2014, v. 124, n. 1, p. 121, doi. 10.1007/s12044-013-0159-y
    By:
    • KARCHEVSKA, LESYA;
    • PEREGNYAK, IRYNA;
    • RADUL, TARAS
    Publication type:
    Article
    20

    Langlands Functoriality Conjecture.

    Published in:
    Kyungpook Mathematical Journal, 2009, v. 49, n. 2, p. 355, doi. 10.5666/KMJ.2009.49.2.355
    By:
    • Jae-Hyun Yang
    Publication type:
    Article
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36

    Equality of proofs for linear equality.

    Published in:
    Archive for Mathematical Logic, 2008, v. 47, n. 6, p. 549, doi. 10.1007/s00153-008-0096-0
    By:
    • Došen, Kosta;
    • Petrić, Zoran
    Publication type:
    Article
    37
    38
    39

    Modal compact Hausdorff spaces.

    Published in:
    Journal of Logic & Computation, 2015, v. 25, n. 1, p. 1, doi. 10.1093/logcom/exs030
    By:
    • Bezhanishvili, Guram;
    • Bezhanishvili, Nick;
    • Harding, John
    Publication type:
    Article
    40
    41

    Vietoris Bisimulations.

    Published in:
    Journal of Logic & Computation, 2010, v. 20, n. 5, p. 1017, doi. 10.1093/logcom/exn091
    By:
    • BEZHANISHVILI, N.;
    • FONTAINE, G.;
    • VENEMA, Y.
    Publication type:
    Article
    42
    43
    44
    45
    46
    47
    48
    49

    On Projection Algebras.

    Published in:
    Southeast Asian Bulletin of Mathematics, 2019, v. 43, n. 2, p. 207
    By:
    • Khanjanzadeh, Zeinab;
    • Madanshekaf, Ali
    Publication type:
    Article
    50

    On Localization of Connective Covers.

    Published in:
    Southeast Asian Bulletin of Mathematics, 2000, v. 24, n. 2, p. 305, doi. 10.1007/s10012-000-0305-1
    By:
    • Tai, Jin-yen
    Publication type:
    Article