( en | de | ru )

 

Disambiguierung von "Kaufmann, Matt"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fourier Series Formalization in ACL2(r).

, , und . ACL2, Volume 192 von EPTCS, Seite 35-51. (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hildegard Matt

Lucas Matt

Franz Matt

Konrad Matt

Sonja Matt

 

Weitere Publikationen von Autoren mit dem selben Namen

Meta Reasoning in ACL2., , , , und . TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 163-178. Springer, (2005)ACL2 and Its Applications to Digital System Verification., und . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)A formal model of a large memory that supports efficient execution., und . FMCAD, Seite 60-67. IEEE, (2012)Commercial Design Verification: Methodology and Tools., , , , , , , , , und . ITC, Seite 839-848. IEEE Computer Society, (1996)Fourier Series Formalization in ACL2(r)., , und . ACL2, Volume 192 von EPTCS, Seite 35-51. (2015)Efficient, Verified Checking of Propositional Proofs., , , und . ITP, Volume 10499 von Lecture Notes in Computer Science, Seite 269-284. Springer, (2017)An ACL2 Tutorial., und . TPHOLs, Volume 5170 von Lecture Notes in Computer Science, Seite 17-21. Springer, (2008)An Informal Discussion of Issues in Mechanically-Assisted Reasoning.. TPHOLs, Seite 318-337. IEEE Computer Society, (1991)Advances in ACL2 Proof Debugging Tools., und . ACL2, Volume 393 von EPTCS, Seite 67-81. (2023)Data-Loop-Free Self-Timed Circuit Verification., , , , und . ASYNC, Seite 51-58. IEEE Computer Society, (2018)