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 条
  • [1] FORMALIZATION OF THE TELEGRAPHER'S EQUATIONS USING HIGHER-ORDER-LOGIC THEOREM PROVING
    Deniz, Elif
    Rashid, Adnan
    Hasan, Osman
    Tahar, Sofiene
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2024, 11 (02):
  • [2] Formalization of bond graph using higher-order-logic theorem proving
    Qasim, Ujala
    Rashid, Adnan
    Hasan, Osman
    ISA TRANSACTIONS, 2022, 128 : 453 - 469
  • [3] Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving
    Rashid, Adnan
    Umair, Muhammad
    Hasan, Osman
    Zaki, Mohamed H.
    IEEE ACCESS, 2020, 8 : 27291 - 27307
  • [4] Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
    Abed, Sa'ed
    Rashid, Adnan
    Hasan, Osman
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 3 - 7
  • [5] Formal reasoning about synthetic biology using higher-order-logic theorem proving
    Abed, Sa'ed
    Rashid, Adnan
    Hasan, Osman
    IET SYSTEMS BIOLOGY, 2020, 14 (05) : 271 - 283
  • [6] Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving
    Abed, Sa'ed
    Rashid, Adnan
    Hasan, Osman
    JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2020, 17 (09): : 481 - 495
  • [7] FORMALIZATION OF FRACTIONAL FLOW COMPONENT IN HIGHER -ORDER LOGIC THEOREM PROVING
    Zhao, Chunna
    Jiang, Murong
    Huang, Yaqun
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2019, VOL 9, 2019,
  • [8] The Higher-Order-Logic Formath
    Audenaert, Pieter
    BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2008, 15 (02) : 335 - 367
  • [9] Reasoning about conditional probabilities in a higher-order-logic theorem prover
    Hasan, Osman
    Tahar, Sofiene
    JOURNAL OF APPLIED LOGIC, 2011, 9 (01) : 23 - 40
  • [10] Graph Representations for Higher-Order Logic and Theorem Proving
    Paliwal, Aditya
    Loos, Sarah M.
    Rabe, Markus N.
    Bansal, Kshitij
    Szegedy, Christian
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2967 - 2974
12345