Jstrother Moore

University of Texas Austin - Austin / United States

Engineering & Technology / Computer Science

AD Scientific Index ID: 1640862

University of Texas at Austin

Registration, Add Profile,
Premium Membership

Print Your Certificate

Jstrother Moore's MOST POPULAR ARTICLES

1-) A fast string searching algorithmRS Boyer, JS MooreCommunications of the ACM 20 (10), 762-772, 197738801977

2-) A computational logicRS Boyer, JS MooreAcademic Press, 201418922014

3-) A computational logic handbook: Formerly notes and reports in computer science and applied mathematicsRS Boyer, JS MooreElsevier, 201411442014

4-) Computer-aided reasoning: ACL2 case studiesM Kaufmann, P Manolios, JS MooreSpringer Science & Business Media, 201311102013

5-) MJRTY—a fast majority vote algorithmRS Boyer, JS MooreAutomated reasoning: essays in honor of Woody Bledsoe, 105-117, 19914131991

ARTICLES

Add your articles