Formalization of the telegrapher's equations using higher-order-logic theorem proving

MaRDI QIDQ6500552zbMATH OpenFDO

Authors Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar

Publication date 10 May 2024

Published in Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Formalization of the telegrapher's equations using higher-order-logic theorem proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6500552)