Relational algebra and equational proofs

被引：0
|
作者：
机构：
来源：
Fundam Inf | / 1卷 / 101期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Groupoid of equational proofs
    Kinoshita, Yoshiki
    Takahasi, Koichi
    Denshi Gijutsu Sogo Kenkyusho Iho/Bulletin of the Electrotechnical Laboratory, 1996, 60 (11): : 1 - 8
  • [2] Certifying and synthesizing membership equational proofs
    Rosu, G
    Eker, S
    Lincoln, P
    Meseguer, J
    FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 359 - 380
  • [3] FOUNDATIONS OF EQUATIONAL DEDUCTION - A CATEGORICAL TREATMENT OF EQUATIONAL PROOFS AND UNIFICATION ALGORITHMS
    RYDEHEARD, DE
    STELL, JG
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 114 - 139
  • [4] EQUATIONAL PROOFS OF JACOBSON’S THEOREM
    Brandenburg, Martin
    arXiv, 2023,
  • [5] PROOFS BY INDUCTION IN EQUATIONAL THEORIES WITH CONSTRUCTORS
    HUET, G
    HULLOT, JM
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (02) : 239 - 266
  • [6] Automating Equational Proofs in Dirac Notation
    Xu, Yingte
    Barthe, Gilles
    Zhou, Li
    Proceedings of the ACM on Programming Languages, 2025, 9
  • [7] THE EQUATIONAL PART OF PROOFS BY STRUCTURAL INDUCTION
    LYSNE, O
    BIT, 1993, 33 (04): : 596 - 618
  • [8] Equational axioms of test algebra
    Hollenberg, M
    COMPUTER SCIENCE LOGIC, 1998, 1414 : 295 - 310
  • [9] A Core Calculus for Equational Proofs of Cryptographic Protocols
    Gancher, Joshua
    Sojakova, Kristina
    Fan, Xiong
    Shi, Elaine
    Morrisett, Greg
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 866 - 892
  • [10] Equational Security Proofs of Oblivious Transfer Protocols
    Li, Baiyu
    Micciancio, Daniele
    PUBLIC-KEY CRYPTOGRAPHY - PKC 2018, PT I, 2018, 10769 : 527 - 553
12345