( en | de | ru )

 

Disambiguierung von "Kaufmann, Matt"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Engineering a Formal, Executable x86 ISA Simulator for Software Verification.

, , und . Provably Correct Systems, Springer, (2017)

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.

Lucas Matt

Franz Matt

Hildegard Matt

Konrad Matt

Sonja Matt

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Verification of FIRE: A Case Study., , , und . DAC, Seite 173-177. ACM Press, (1997)Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4., und . ACL2, Volume 152 von EPTCS, Seite 1-7. (2014)An Interactive Enhancement to the Boyer-Moore Theorem Prover.. CADE, Volume 310 von Lecture Notes in Computer Science, Seite 735-736. Springer, (1988)The Strength of Nonstandard Methods in Arithmetic., , und . J. Symb. Log., 49 (4): 1039-1058 (1984)Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm.. J. Autom. Reason., 7 (1): 109-158 (1991)Integrating external deduction tools with ACL2., , , und . J. Appl. Log., 7 (1): 3-25 (2009)Limited Second-Order Functionality in a First-Order Setting., und . J. Autom. Reason., 64 (3): 391-422 (2020)Functional Instantiation in First-Order Logic., , , und . Artificial and Mathematical Theory of Computation, Seite 7-26. Academic Press / Elsevier, (1991)Blunt and Topless End Extensions of Models of Set Theory.. J. Symb. Log., 48 (4): 1053-1073 (1983)Set Theory With a Filter Quantifier.. J. Symb. Log., 48 (2): 263-287 (1983)