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 条
  • [21] Formal analysis of 2D image processing filters using higher-order logic theorem proving
    Rashid, Adnan
    Abed, Sa'ed
    Hasan, Osman
    EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2022, 2022 (01)
  • [22] On the Formalization of Fourier Transform in Higher-order Logic
    Rashid, Adnan
    Hasan, Osman
    INTERACTIVE THEOREM PROVING (ITP 2016), 2016, 9807 : 483 - 490
  • [23] Higher-order theorem proving and its applications
    Steen, Alexander
    IT-INFORMATION TECHNOLOGY, 2019, 61 (04): : 187 - 191
  • [24] A formalization of abstract argumentation in higher-order logic
    Steen, Alexander
    Fuenmayor, David
    JOURNAL OF LOGIC AND COMPUTATION, 2024, 34 (02) : 229 - 260
  • [25] Formalization of Complex Vectors in Higher-Order Logic
    Afshar, Sanaz Khan
    Aravantinos, Vincent
    Hasan, Osman
    Tahar, Sofiene
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, 2014, 8543 : 123 - 137
  • [26] Higher-order unification as a theorem proving procedure
    Hagiya, Masami
    Proceedings of the International Conference on Logic Programming, 1991,
  • [27] Proving pointer programs in higher-order logic
    Mehta, F
    Nipkow, T
    AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 121 - 135
  • [28] Proving pointer programs in higher-order logic
    Mehta, F
    Nipkow, T
    INFORMATION AND COMPUTATION, 2005, 199 (1-2) : 200 - 227
  • [29] Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving
    Traytel, Dmitriy
    Popescu, Andrei
    Blanchette, Jasmin Christian
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 596 - 605
  • [30] SPECIAL ISSUE ON HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS .1.
    CLAESEN, L
    GORDON, M
    FORMAL METHODS IN SYSTEM DESIGN, 1993, 3 (1-2) : 5 - 5
12345