A Computational Logic
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Elsevier

9780121229504
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Sketch of the Theory and Two Simple Examples

1979 ◽  
pp. 8-27
Author(s):  
ROBERT S. BOYER ◽  
J STROTHER MOORE

The Correctness of a Fast String Searching Algorithm

1979 ◽  
pp. 282-308
Author(s):  
ROBERT S. BOYER ◽  
J STROTHER MOORE
Keyword(s):  
String Searching

Eliminating Destructors

1979 ◽  
pp. 130-144
Author(s):  
ROBERT S. BOYER ◽  
J STROTHER MOORE

Rewriting Terms and Simplifying Clauses

1979 ◽  
pp. 120-129
Author(s):  
ROBERT S. BOYER ◽  
J STROTHER MOORE

Introduction

1979 ◽  
pp. 1-7
Author(s):  
ROBERT S. BOYER ◽  
J STROTHER MOORE

The Unique Prime Factorization Theorem

1979 ◽  
pp. 309-328
Author(s):  
ROBERT S. BOYER ◽  
J STROTHER MOORE
Keyword(s):  
Factorization Theorem ◽  
Prime Factorization

Induction and the Analysis of Recursive Definitions

1979 ◽  
pp. 163-184
Author(s):  
ROBERT S. BOYER ◽  
J STROTHER MOORE
Keyword(s):  
Recursive Definitions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document