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 条
  • [21] On residuation in paraorthomodular lattices
    Chajda, I.
    Fazio, D.
    SOFT COMPUTING, 2020, 24 (14) : 10295 - 10304
  • [22] On residuation in paraorthomodular lattices
    I. Chajda
    D. Fazio
    Soft Computing, 2020, 24 : 10295 - 10304
  • [23] Aggregation and Residuation
    Leclerc, Bruno
    Monjardet, Bernard
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2013, 30 (01): : 261 - 268
  • [24] Structure residuation
    Ward, K
    ANNALS OF MATHEMATICS, 1938, 39 : 558 - 568
  • [25] Aggregation and Residuation
    Bruno Leclerc
    Bernard Monjardet
    Order, 2013, 30 : 261 - 268
  • [26] ADDITIVITY OF THE COMMUTATOR AND RESIDUATION
    Czelakowski, Janusz
    REPORTS ON MATHEMATICAL LOGIC, NO 43, 2008, (43): : 109 - 132
  • [27] Residuation Groupoids – Again
    Bruno Bosbach
    Results in Mathematics, 2009, 53 : 27 - 51
  • [28] Improving Residuation in Declarative Programs
    Hanus, Michael
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2019), 2019, 11372 : 82 - 97
  • [29] On the lattice of varieties of residuation algebras
    C. J. Van Alten
    J. G. Raftery
    algebra universalis, 1999, 41 : 283 - 315
  • [30] Deflation and residuation for class formation
    Horie, K
    Horie, M
    JOURNAL OF ALGEBRA, 2001, 245 (02) : 607 - 619
12345