( en | de | ru )

 

Disambiguierung von "Moore, J Strother"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rough Diamond: An Extension of Equivalence-Based Rewriting.

, und . ITP, Volume 8558 von Lecture Notes in Computer Science, Seite 537-542. Springer, (2014)

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.

Nicholas J Moore

Patrick Moore

Johannes Moore

Ciara Moore

Christine Moore

 

Weitere Publikationen von Autoren mit dem selben Namen

Java Program Verification via a JVM Deep Embedding in ACL2., und . TPHOLs, Volume 3223 von Lecture Notes in Computer Science, Seite 184-200. Springer, (2004)Finite Set Theory in ACL2.. TPHOLs, Volume 2152 von Lecture Notes in Computer Science, Seite 313-328. Springer, (2001)Double rewriting for equivalential reasoning in ACL2., und . ACL2, Seite 103-106. ACM, (2006)Computational logic : structure sharing and proof of program properties.. University of Edinburgh, UK, (1973)British Library, EThOS.Functional formal methods.. ICFP, Seite 123. ACM, (2002)SIGPLAN Notices 37(9), September 2002.Inductive assertions and operational semantics.. Int. J. Softw. Tools Technol. Transf., 8 (4-5): 359-371 (2006)Rewriting with Equivalence Relations in ACL2., , und . J. Autom. Reason., 40 (4): 293-306 (2008)Reasoning about digital artifacts with ACL2.. PLPV, Seite 1-2. ACM, (2011)Machines Reasoning About Machines: 2015.. ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 4-13. Springer, (2015)A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol.. Formal Aspects Comput., 6 (1): 60-91 (1994)