AI & ChatGPT searches , social queries for J STROTHER-MOORE
Search references for J STROTHER-MOORE. Phrases containing J STROTHER-MOORE
See searches and references containing J STROTHER-MOORE!
Search references for J STROTHER-MOORE. Phrases containing J STROTHER-MOORE
See searches and references containing J STROTHER-MOORE!J STROTHER-MOORE
American computer scientist
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is an American computer scientist. He is a co-developer of
J_Strother_Moore
String searching algorithm
string-search literature. It was developed by Robert S. Boyer and J Strother Moore in 1977. The original paper contained static tables for computing the
Boyer–Moore string-search algorithm
Boyer–Moore_string-search_algorithm
Low-space search for a majority element
constant number of words of memory. It is named after Robert S. Boyer and J Strother Moore, who published it in 1981, and is a prototypical example of a streaming
Boyer–Moore majority vote algorithm
Boyer–Moore_majority_vote_algorithm
Programming language and theorem prover
software." ACL2 has had numerous industrial applications. In 1995, J Strother Moore, Matt Kaufmann and Tom Lynch used ACL2 to prove the correctness of
ACL2
American computer scientist
along with Robert S. Boyer and J Strother Moore, for his work on the Boyer-Moore Theorem Prover. Matt Kaufman: The Boyer-Moore Theorem Prover (2005) Archived
Matt_Kaufmann
American mathematician, computer scientist and philosopher
and J Strother Moore invented the Boyer–Moore string-search algorithm, a particularly efficient string searching algorithm, in 1977. He and Moore also
Robert_S._Boyer
Software system
referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2. The system was developed by Robert S. Boyer and J Strother Moore, professors of computer
Nqthm
Data structure
structures such as a gap buffer. This data structure was invented by J Strother Moore. For this description, we use buffer as the immutable block to hold
Piece_table
Use of logic to perform or reason about computation
Artificial Intelligence. The term was then used by Robert S. Boyer and J Strother Moore, who worked in the Department in the early 1970s, to describe their
Computational_logic
Ian Moore (disambiguation), multiple people Irving J. Moore (1919–1993), American television director J Strother Moore, American computer scientist J. Washington
List of people with surname Moore
List_of_people_with_surname_Moore
Interactive theorem prover software
the first formalization of the real numbers. In 1973, Robert Boyer and J Moore published Proving Theorems about LISP Functions which aimed to verify programs
Proof_assistant
Annual award for developing an influential software system
2006 Eiffel Bertrand Meyer 2005 The Boyer-Moore Theorem Prover Robert S. Boyer, Matt Kaufmann, J Strother Moore 2004 Secure Network Programming Raghuram
ACM_Software_System_Award
Louis Monier (at PARC 1983–1989), founded AltaVista search engine J Strother Moore (at PARC 1973-1976), text editing, Interlisp VM, string searching,
List of people associated with PARC
List_of_people_associated_with_PARC
Topics referred to by the same term
consultant Strother Martin (1919–1980), American actor Strother M. Stockslager (1842–1930), U.S. Representative from Indiana J Strother Moore, American
Strother
automatically generate verification condition generators. John Matthews; J. Strother Moore; Sandip Ray; Daron Vroon (2005). "Verification Condition Generation
Verification condition generator
Verification_condition_generator
Indian computer scientist
D. degree in computer science, under advisors Robert S. Boyer and J Strother Moore, from the University of Texas at Austin in 1986. His Ph.D. thesis was
Natarajan_Shankar
inventor, Apple Inc. Charles H. Moore – Forth language Edward F. Moore – Moore machine Gordon Moore – Moore's law J Strother Moore – string searching, ACL2 theorem
List_of_computer_scientists
Award for research contributions to automated deduction
Robinson (1996) Wu Wenjun (1997) Gérard Huet (1998) Robert S. Boyer and J Strother Moore (1999) William W. McCune (2000) Donald W. Loveland (2001) Mark E. Stickel
Herbrand_Award
American politician
George French Strother (1783 – November 28, 1840) was a nineteenth-century politician, lawyer and slaveowner in Virginia and Missouri. Born in Stevensburg
George_Strother
original on August 9, 2016. Retrieved September 9, 2016. "Home Page of J Strother Moore". Archived from the original on October 11, 2016. Retrieved September
List of University of Texas at Austin faculty
List_of_University_of_Texas_at_Austin_faculty
2006 C. Mohan Tsinghua University 2009 Cleve B. Moler MathWorks 1997 J. Strother Moore The University of Texas at Austin 2007 Robert T. Morris Massachusetts
List of members of the National Academy of Engineering (computer science)
List_of_members_of_the_National_Academy_of_Engineering_(computer_science)
functional programming J Strother Moore, computer scientist at the University of Texas at Austin, co-developer of the Boyer–Moore string-search algorithm
List of University of Edinburgh people
List_of_University_of_Edinburgh_people
American politician (born 1980)
Riley McGowan Moore (born July 1, 1980) is an American politician who has served as the U.S. representative for West Virginia's 2nd congressional district
Riley_Moore
Dialect of the Lisp programming language
Teitelman et al., Interlisp Reference Manual (Xerox tech report, 1974) J Strother Moore, The Interlisp Virtual Machine Specification (Xerox tech report, 1976)
Interlisp
British computer scientist
founders of logic programming in the early 1970s) and Alan Bundy. J Strother Moore (who received his doctorate there in 1973), Robert S. Boyer (visiting
Bernard Meltzer (computer scientist)
Bernard_Meltzer_(computer_scientist)
British computer scientist (1934–2025)
Edinburgh". The Royal Society of Edinburgh. Retrieved 12 March 2018. Moore, J Strother; Plotkin, Gordon; Rydeheard, David; Sannella, Don (31 October 2025)
Rod_Burstall
American politician (born 1953)
Shelley Wellons Moore Capito (/ˈkæpɪtoʊ/ KAP-ih-toh; born November 26, 1953) is an American politician serving as the senior United States senator from
Shelley_Moore_Capito
American basketball player (born 1989)
Moore the "greatest winner in the history of women's basketball". Moore was selected for the Women's Basketball Hall of Fame in 2024. In 2025, Moore was
Maya_Moore
American politician (1923–2015)
Arch Alfred Moore Jr. (April 16, 1923 – January 7, 2015) was an American lawyer and Republican politician who served as the 28th and 30th governor of
Arch_A._Moore_Jr.
E. Laird James R. Larus Charles E. Leiserson Ming Li Nick McKeown J Strother Moore Alan F. Newell Peter Norvig Dianne P. O'Leary Dan R. Olsen Jr. Kunle
List of fellows of the Association for Computing Machinery
List_of_fellows_of_the_Association_for_Computing_Machinery
American basketball player (born 1983)
Elise Strother (born December 11, 1983) is an American basketball coach, and former professional player, most recently for the Indiana Fever. Strother played
Ann_Strother
American political consultant (born 1944)
By the late 1970s, he was working for Gus Weill and Raymond Strother at Weill-Strother, a political consulting firm that had assisted campaigns for Louisiana
James_Carville
American journalist (1940–2022)
Raymond D. Strother (October 18, 1940 – October 1, 2022) was a nationally known Democratic political consultant, originally from Port Arthur, Texas. Reared
Raymond_Strother
American basketball player (born 1968)
William Lamont Strothers (born May 10, 1968) is an American former professional basketball player. Born in Nansemond County, Virginia Strothers played college
Lamont_Strothers
American political family in Virginia, United States
Sarah Ann Strother Barbour (also known as "Catherine") was the youngest daughter of John Strother Joseph Hidden (husband) was son to Rev. J. C. Hidden
Barbour_family
2016 studio album by King
cover design Paris Strother – cover design Kellman, Andy. "We Are King – King". AllMusic. Retrieved November 17, 2019. Moore, Marcus J. (February 3, 2016)
We_Are_King_(album)
Villaseñor & Strother Tyleropappus Greenm. – synonym of Calea Tyrimnus (Cass.) Bosc Tzvelevopyrethrum Kamelin Contents: A B C D E F G H I J K L M N O P
List_of_Asteraceae_genera
Genus of flowering plants
Bueno & J.N.Nakaj. Wedelia hookeriana Gardner Wedelia iners (S.F.Blake) Strother Wedelia isolepis S.F.Blake Wedelia jugata (H.Rob.) B.L.Turner Wedelia juxtlahuacana
Wedelia
1970s automated theorem prover
Isabelle/LCF. "CakeML". Retrieved 2 November 2019. Boyer, Robert S; Moore, J Strother. Metafunctions: Proving Them Correct and Using Them Efficiently as
Logic for Computable Functions
Logic_for_Computable_Functions
American basketball player (born 2004)
2001: Shyra Ely 2002: Ann Strother 2003: Candace Parker 2004: Candace Parker 2005: Abby Waner 2006: Tina Charles 2007: Maya Moore 2008: Nneka Ogwumike 2009:
Kiki_Rice
Sense that actions are self-generated
Elsevier BV: 693–704. doi:10.1016/j.cognition.2007.07.021. ISSN 0010-0277. PMID 17825813. S2CID 3017349. Strother L, House KA, Obhi SS (2010). "Subjective
Self-agency
American politician
Thomas Love Moore (died 1862) was a nineteenth-century congressman and lawyer from Virginia. Born near Charles Town, Virginia, Moore pursued an academic
Thomas_Love_Moore
American statesman and Founding Father (1732–1794)
York: Oxford University Press. pp. 176–180. ISBN 978-0199832576. McGaughy, J. K. Richard Henry Lee (1732–1794). (March 18, 2014). In Encyclopedia Virginia
Richard_Henry_Lee
American politician (1866–1958)
Charles Calvin Moore (February 26, 1866 – March 19, 1958) was the 13th governor of Idaho, serving from 1923 until 1927. He later served as the commissioner
Charles_C._Moore
American politician
James French Strother (June 29, 1868 – April 10, 1930) was the grandson of Congressman James French Strother (1811-1860) of Virginia and great-grandson
James F. Strother (West Virginia politician)
James_F._Strother_(West_Virginia_politician)
Subfield of computer science and logic
ISBN 978-3-319-40969-6. S2CID 7912943. The Boyer-Moore Theorem Prover Retrieved on 2010-10-23 Boyer, Robert S. and Moore, J Strother and Passmore, Grant Olney The PLTP
Automated_reasoning
American politician (1790–1855)
least four candidates, including Butterfield, Cyrus Edwards, Lincoln, and J.L.D. "Don" Morrison mounted substantial campaigns for the position. In addition
Justin_Butterfield
American politician
Delegates representing Kanawha County. Thomas Jr. was the son of Jane Strother, whose family held various political offices in Virginia, and her lawyer
Thomas_Lewis_Jr.
American politician (1932–2025)
campaign for governor, Johnston challenged incumbent U.S. Senate member Allen J. Ellender. When Ellender died before the primary election, Johnston was easily
J._Bennett_Johnston
American professional basketball player (born 2002)
2001: Shyra Ely 2002: Ann Strother 2003: Candace Parker 2004: Candace Parker 2005: Abby Waner 2006: Tina Charles 2007: Maya Moore 2008: Nneka Ogwumike 2009:
Azzi_Fudd
American politician
1923 – March 3, 1925 Preceded by Wells Goodykoontz Succeeded by James F. Strother Personal details Born (1878-06-03)June 3, 1878 Dunns, West Virginia, United
Thomas_Jefferson_Lilly
American attorney and politician
attended West Virginia University Law School at Morgantown and received his J.D. degree in 1932. Admitted to the bar the same year, Love commenced the practice
Francis_J._Love
American economist (1933–2026)
Edmund Strother Phelps (July 26, 1933 – May 15, 2026) was an American economist and the recipient of the 2006 Nobel Memorial Prize in Economic Sciences
Edmund_Phelps
American basketball player (born 1968)
Herman "J. R." Reid Jr. (born March 31, 1968) is an American former professional basketball player. He played in the National Basketball Association (NBA)
J._R._Reid
American politician
seniority) 70th Senate: ▌M. Neely (D) ▌G. Goff (R) House: ▌J. Hughes (R) ▌C. Bachmann (R) ▌F. Bowman (R) ▌J. Strother (R) ▌E. England (R) ▌W. O'Brien (D)
William S. O'Brien (American politician)
William_S._O'Brien_(American_politician)
American Western television series (1959–1965)
Lord Peter Lorre Gavin MacLeod Jock Mahoney William Marshall Dean Martin Strother Martin Carole Mathews Frank Maxwell Mercedes McCambridge Darren McGavin
Rawhide_(TV_series)
American politician, attorney and businessman (born 1939)
William Henson Moore III (born October 4, 1939) is an American attorney and businessman. He is a former member of the U.S. House of Representatives, having
Henson_Moore
American college football season
Louisville LB Joseph Vaughn – Yale CB K.J. Wallace – Georgia Tech WR Kam Brown – Purdue EDGE Choe Bryant-Strother – BYU OT Bruno Fina – Duke WR Kyle Ford
2024 UCLA Bruins football team
2024_UCLA_Bruins_football_team
American politician
Gray Dawson Hawes Strother Moore Rives Gordon Chinn Taliaferro Lucas Bedinger Parker Faulkner Kidwell Clemens Brown (inactive 1863–85) J. Tucker Yost H.
Sherrard_Clemens
American television series (1974–1976)
Harold Gould Mark Hamill Robert Hooks Julie Kavner Sally Kirkland Kay Lenz Strother Martin Debbie McGee Gerald McRaney Belinda Montgomery Lee Montgomery James
Petrocelli
American politician
5th district In office March 4, 1839 – March 3, 1841 Preceded by Francis Strother Lyon Succeeded by District inactive Speaker of the Alabama House of Representatives
James_Dellet
describing the spa waters at Bath, England, is attributed to Dr. Edward Strother (1675–1737). The word is composed of the following elements: Aequeo: equal
Longest_word_in_English
American politician (1878–1956)
Taylor (D) 69th Senate: ▌M. Neely (D) ▌G. Goff (R) House: ▌H. Woodyard (R) ▌A. Taylor (D) ▌C. Bachmann (R) ▌F. Bowman (R) ▌J. Strother (R) ▌J. Wolverton (R)
J._Alfred_Taylor
American politician (1838–1900)
Hughes Cooper Goodykoontz Lilly Strother Shott John Kee E. Kee James Kee 6th district Littlepage Echols Taylor England J. Smith Hedrick Byrd Slack At-large
John_Hagans
American politician
Hughes Cooper Goodykoontz Lilly Strother Shott John Kee E. Kee James Kee 6th district Littlepage Echols Taylor England J. Smith Hedrick Byrd Slack At-large
William_Pallister_Hubbard
American politician
Bowman (R) ▌J. Strother (R) ▌J. Wolverton (R) 70th Senate: ▌M. Neely (D) ▌G. Goff (R) House: ▌J. Hughes (R) ▌C. Bachmann (R) ▌F. Bowman (R) ▌J. Strother (R) ▌E
Carl_G._Bachmann
American basketball player and coach (born 1977)
2001: Shyra Ely 2002: Ann Strother 2003: Candace Parker 2004: Candace Parker 2005: Abby Waner 2006: Tina Charles 2007: Maya Moore 2008: Nneka Ogwumike 2009:
Stephanie_White
Louisiana businessman and politician
Dudley J. LeBlanc (August 16, 1894–October 22, 1971) was an American entrepreneur and politician. Dudley J. LeBlanc was born on August 16, 1894 in Capitan
Dudley_J._LeBlanc
American judge
Edmund Strother Dargan Succeeded by William J. Alston 7th Governor of Alabama In office November 26, 1831 – November 21, 1835 Preceded by Samuel B. Moore Succeeded
John Gayle (Alabama politician)
John_Gayle_(Alabama_politician)
American basketball player (born 1998)
2001: Shyra Ely 2002: Ann Strother 2003: Candace Parker 2004: Candace Parker 2005: Abby Waner 2006: Tina Charles 2007: Maya Moore 2008: Nneka Ogwumike 2009:
Michael_Porter_Jr.
American basketball player (born 2005)
May 10, 2023. Zagoria, Adam (October 10, 2022). "Nike Signs Bronny James, D.J. Wagner, Caitlin Clark, Haley Jones, JuJu Watkins To NIL Deals". Forbes. Retrieved
JuJu_Watkins
American politician and 6th Governor of Iowa
Samuel S. Burdett James A. Williamson Noah C. McFarland William A. J. Sparks Strother M. Stockslager Lewis A. Groff Thomas H. Carter William M. Stone Silas
William_M._Stone
American basketball player (born 2006)
2001: Shyra Ely 2002: Ann Strother 2003: Candace Parker 2004: Candace Parker 2005: Abby Waner 2006: Tina Charles 2007: Maya Moore 2008: Nneka Ogwumike 2009:
Joyce_Edwards
Method of deriving conclusions
Mathematique. 100 (114): 77–86. doi:10.2298/PIM1614077B. Boyer, Robert S.; Moore, J. Strother (2014). A Computational Logic Handbook: Formerly Notes and Reports
Rule_of_inference
4th Governor of Wyoming
Samuel S. Burdett James A. Williamson Noah C. McFarland William A. J. Sparks Strother M. Stockslager Lewis A. Groff Thomas H. Carter William M. Stone Silas
William_A._Richards
American politician
Maryland but had moved to Woodstock, Shenandoah County, Virginia where J.J. Davis's father John Davis had been born. After learning his trade, John
John_James_Davis
American politician (born 1959)
Comstock opposed the Senate candidacy of Roy Moore in Alabama because of sexual abuse allegations. "To date Roy Moore has not provided any credible explanation
Barbara_Comstock
American politician
He served a single term from 1992 to 1996 to succeed his father, Leonard J. Chabert, also a Democrat, who died in office in 1991. His younger brother
Marty_J._Chabert
American politician (born 1943)
January 20, 2021. Retrieved January 23, 2023. "Log Cabin Lawyer: William J. Howell '67 Quietly Leads Virginia's House of Delegates". Archived from the
William_J._Howell
American politician
Stevenson Stanard Banks Gilmer Southall Holleman Southall Goode Jones Strother H. Hopkins G. Hopkins Crutchfield Kemper Sheffey Baldwin Turner Hanger
Richard_Evelyn_Byrd_Sr.
American politician (1926–1995)
Newspapers.com. "J Marshall Brown". U.S., School Yearbooks, 1900-2016. Retrieved July 2, 2025 – via Ancestry.com. (subscription required) "J. Marshall Brown"
J._Marshall_Brown
American politician
Retrieved 4 June 2014. J. Sinclair Brown at The Virginia Elections and State Elected Officials Database Project, 1776-2007 J. Sinclair Brown at Find
J._Sinclair_Brown
ISBN 0-9582684-0-1. Strother, Eric (2013). Unlocking the Paradox of Christian Metal Music (PDF). University of Kentucky. Thompson, John J. (2000). Raised
List of Christian metal artists
List_of_Christian_metal_artists
American lawyer, politician
Hughes Cooper Goodykoontz Lilly Strother Shott John Kee E. Kee James Kee 6th district Littlepage Echols Taylor England J. Smith Hedrick Byrd Slack At-large
Romeo_H._Freer
American basketball player and coach (born 1988)
2001: Shyra Ely 2002: Ann Strother 2003: Candace Parker 2004: Candace Parker 2005: Abby Waner 2006: Tina Charles 2007: Maya Moore 2008: Nneka Ogwumike 2009:
Greg_Oden
American politician (1894–1964)
Gray Dawson Hawes Strother Moore Rives Gordon Chinn Taliaferro Lucas Bedinger Parker Faulkner Kidwell Clemens Brown (inactive 1863–85) J. Tucker Yost H.
Joel_West_Flood
Marshall (1943–2018), actress and director Lock Martin (1916–1959), actor Strother Martin (1919–1980), actor Michelle Triola Marvin (1932–2009), actress Joseph
List of interments at Forest Lawn Memorial Park (Hollywood Hills)
List_of_interments_at_Forest_Lawn_Memorial_Park_(Hollywood_Hills)
Canadian basketball player (born 2000)
R.J. and Rowan Barrett". Canadian Broadcasting Corporation. Retrieved January 6, 2019. Ewing, Lori (July 31, 2017). "Canadian basketball star R.J. Barrett
RJ_Barrett
Archipelagic country in Southeast Asia
Archived from the original on February 3, 2024. Retrieved September 28, 2020. Strother, Jason (March 6, 2013). "Power of the Catholic Church slipping in Philippines"
Philippines
American politician (1756–1808)
Gray Dawson Hawes Strother Moore Rives Gordon Chinn Taliaferro Lucas Bedinger Parker Faulkner Kidwell Clemens Brown (inactive 1863–85) J. Tucker Yost H.
Carter_Bassett_Harrison
American Western television series (1959–1961)
Marley Strother Martin Ken Mayer Lon McCallister Rod McGaughy Tyler McVey Patricia Medina Robert Middleton John Mitchum Joanna Moore Terry Moore Agnes
The Rebel (American TV series)
The_Rebel_(American_TV_series)
American politician (1810–1879)
Samuel S. Burdett James A. Williamson Noah C. McFarland William A. J. Sparks Strother M. Stockslager Lewis A. Groff Thomas H. Carter William M. Stone Silas
James_M._Edmunds
American politician
and David J. Eicher, Civil War High Commands. Stanford: Stanford University Press, 2001. ISBN 0-8047-3641-3. p. 220 Eicher, John H., and David J. Eicher
Isaac_H._Duval
American politician (1938–2005)
Barham Leonard J. Chabert Marty J. Chabert Norby Chabert George Dement Leonard R. "Pop" Hataway Angelo Roppolo Raymond Strother 2014 J. Marshall Brown
John_J._Hainkel_Jr.
Microarchitecture
November 1996. "AMD-K5 Processor Data Sheet" (PDF). AMD. January 1997. Moore, J. Strother; Lynch, Thomas W.; Kaufmann, Matt (September 1998). "A Mechanically
AMD_K5
American politician
Gray Dawson Hawes Strother Moore Rives Gordon Chinn Taliaferro Lucas Bedinger Parker Faulkner Kidwell Clemens Brown (inactive 1863–85) J. Tucker Yost H.
Samuel_Griffin
American politician and businessman
Hughes Cooper Goodykoontz Lilly Strother Shott John Kee E. Kee James Kee 6th district Littlepage Echols Taylor England J. Smith Hedrick Byrd Slack At-large
Edward Cooper (West Virginia politician)
Edward_Cooper_(West_Virginia_politician)
American politician (1842–1930)
Strother Madison Stockslager (May 7, 1842 – June 1, 1930) was an American lawyer, Civil War veteran, and politician who served two terms as a U.S. representative
Strother_M._Stockslager
American politician
Hughes Cooper Goodykoontz Lilly Strother Shott John Kee E. Kee James Kee 6th district Littlepage Echols Taylor England J. Smith Hedrick Byrd Slack At-large
William_G._Brown_Jr.
American basketball player (born 2006)
Retrieved May 21, 2026. Givony, Jonathan (July 19, 2022). "Cooper Flagg's rise, D.J. Wagner's struggles and other takeaways from FIBA U17s". ESPN.com. Archived
Cooper_Flagg
J STROTHER-MOORE
J STROTHER-MOORE
J STROTHER-MOORE
J STROTHER-MOORE
J STROTHER-MOORE
J STROTHER-MOORE
J STROTHER-MOORE
J STROTHER-MOORE
J STROTHER-MOORE