Formalization of the Telegrapher’s Equations using Higher-Order-Logic Theorem Proving

被引：0
|
作者：
Deniz, Elif [1 ]
Rashid, Adnan [1 ,2 ]
Hasan, Osman [2 ]
Tahar, Sofiène [1 ]
机构：
[1] Department of Electrical and Computer Engineering, Concordia University, Montreal,QC, Canada
[2] School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan
来源：
Journal of Applied Logics | 2024年 / 11卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：197 / 236
相关论文
共 50 条
  • [31] Formalization of geometric algebra theories in higher-order logic
    Ma S.
    Shi Z.-P.
    Li L.-M.
    Guan Y.
    Zhang J.
    Song X.
    Shi, Zhi-Ping (zhizp@cnu.edu.cn), 1600, Chinese Academy of Sciences (27): : 497 - 516
  • [32] Towards the Formalization of Fractional Calculus in Higher-Order Logic
    Siddique, Umair
    Hasan, Osman
    Tahar, Sofiene
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2015, 2015, 9150 : 316 - 324
  • [33] Formalization of Reliability Block Diagrams in Higher-order Logic
    Ahmed, Waqar
    Hasan, Osman
    Tahar, Sofiene
    JOURNAL OF APPLIED LOGIC, 2016, 18 : 19 - 41
  • [34] THEOREM-PROVING FOR A HIGHER-ORDER FUNCTIONAL LANGUAGE
    KAUFMANN, M
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 847
  • [35] Equivalence theorem for higher order equations
    Bollini, CG
    Oxman, LE
    Rocca, MC
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1998, 37 (11) : 2857 - 2875
  • [36] Equivalence Theorem for Higher Order Equations
    C. G. Bollini
    L. E. Oxman
    M. C. Rocca
    International Journal of Theoretical Physics, 1998, 37 : 2857 - 2875
  • [37] A general formal memory framework for smart contracts verification based on higher-order logic theorem proving
    Yang Z.
    Lei H.
    International Journal of Performability Engineering, 2019, 15 (11) : 2998 - 3007
  • [38] SPECIAL ISSUE ON HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS .2. EDITORIAL
    CLAESEN, L
    GORDON, M
    FORMAL METHODS IN SYSTEM DESIGN, 1994, 5 (1-2) : 5 - 5
  • [39] APPROACH TO A SYSTEMATIC THEOREM PROVING PROCEDURE IN FIRST-ORDER LOGIC
    BIBEL, W
    COMPUTING, 1974, 12 (01) : 43 - 55
  • [40] The limits of logic: Higher-order logic and the Lowenheim-Skolem theorem - Shapiro,S
    Williamson, T
    HISTORY AND PHILOSOPHY OF LOGIC, 1996, 17 (03) : 175 - 176
12345