Multi-sorted residuation

被引：0
|
作者：
Buszkowski, Wojciech [1 ]
机构：
[1] Buszkowski, Wojciech
来源：
Buszkowski, W. (buszko@amu.edu.pl) | 1600年 / Springer Verlag卷 / 8222期
关键词：
Differentiation (calculus) - Computer circuits;
D O I：
10.1007/978-3-642-54789-8_8
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：136 / 155
相关论文
共 50 条
  • [31] Residuation in lattice effect algebras
    Chajda, Ivan
    Laenger, Helmut
    FUZZY SETS AND SYSTEMS, 2020, 397 (397) : 168 - 178
  • [32] Some arithmetical applications of residuation
    Ward, M
    AMERICAN JOURNAL OF MATHEMATICS, 1937, 59 : 921 - 926
  • [33] SOME APPLICATIONS OF RESIDUATION THEORY
    LEVYBRUHL, J
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 280 (08): : 489 - 492
  • [34] Distributivity and residuation for lexicographic orders
    Gadducci, Fabio
    Santini, Francesco
    INFORMATION PROCESSING LETTERS, 2022, 177
  • [35] On the lattice of varieties of residuation algebras
    van Alten, CJ
    Raftery, JG
    ALGEBRA UNIVERSALIS, 1999, 41 (04) : 283 - 315
  • [36] Formal Concepts and Residuation on Multilattices
    Njionou, Blaise B. Koguep
    Kwuida, Leonard
    Lele, Celestin
    FUNDAMENTA INFORMATICAE, 2022, 188 (04) : 217 - 237
  • [37] Modal tableaux based on residuation
    Wansing, H
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (06) : 719 - 731
  • [38] Residuation in Existential Graphs
    Haydon, Nathan
    Pietarinen, Ahti-Veikko
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2021, 2021, 12909 : 229 - 237
  • [39] LA RESIDUATION FAIBLE
    GRILLET, P
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1961, 253 (22): : 2448 - &
  • [40] Residuation in modular lattices and posets
    Chajda, Ivan
    Laenger, Helmut
    ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, 2019, 12 (02)
12345