( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A fast string searching algorithm

, и . Communications of the ACM, 20 (10): 762--772 (октября 1977)
DOI: 10.1145/359842.359859

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Nicholas J Moore

Patrick Moore

Johannes Moore

Ciara Moore

Christine Moore

 

Другие публикации лиц с тем же именем

Java Program Verification via a JVM Deep Embedding in ACL2., и . TPHOLs, том 3223 из Lecture Notes in Computer Science, стр. 184-200. Springer, (2004)Finite Set Theory in ACL2.. TPHOLs, том 2152 из Lecture Notes in Computer Science, стр. 313-328. Springer, (2001)Double rewriting for equivalential reasoning in ACL2., и . ACL2, стр. 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, стр. 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., , и . J. Autom. Reason., 40 (4): 293-306 (2008)Reasoning about digital artifacts with ACL2.. PLPV, стр. 1-2. ACM, (2011)Machines Reasoning About Machines: 2015.. ATVA, том 9364 из Lecture Notes in Computer Science, стр. 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)