DUAL CONNECTIONS AND GALOIS CONNECTIONS

被引:0
|
作者
KRISHNAN, VS
机构
来源
关键词
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:764 / &
相关论文
共 50 条
  • [21] Galois connections for bilattices
    Koutras, Costas D.
    Pitsiladis, Georgios V.
    ALGEBRA UNIVERSALIS, 2021, 82 (03)
  • [22] Constructive Galois Connections
    Darais, David
    Van Horn, David
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [23] Prime Galois Connections
    Swamy, U. M.
    Murty, A. V. S. N.
    SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2010, 34 (03) : 497 - 508
  • [24] Structures on Galois connections
    Murty, A.V.S.N.
    Italian Journal of Pure and Applied Mathematics, 2020, 44 : 150 - 154
  • [25] Programming from Galois Connections
    Mu, Shin-Cheng
    Oliveira, Jose Nuno
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2011, 6663 : 294 - 313
  • [26] PAIR ALGEBRAS AND GALOIS CONNECTIONS
    DERDERIA.JC
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 278 - &
  • [27] Galois Connections for Flow Algebras
    Filipiuk, Piotr
    Terepeta, Michal
    Nielson, Hanne Riis
    Nielson, Flemming
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 138 - 152
  • [28] Programming from Galois connections
    Mu, Shin-Cheng
    Oliveira, Jose Nuno
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (06): : 680 - 704
  • [29] Galois connections and data analysis
    Wolski, M
    FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 401 - 415
  • [30] Logical relations and galois connections
    Backhouse, K
    Backhouse, R
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2386 : 23 - 39