Keyphrases
Rewriting System
100%
Logic Programming
53%
Term Rewriting Systems
34%
Rewrite Rules
30%
Path Orderings
29%
Well-founded
27%
Termination Proof
26%
Debugging
23%
Hebrew
22%
Critical Pairs
22%
Axiomatization
21%
Abstract State Machines
20%
Cairo Genizah
19%
Ordered Tree
18%
Rewriting Modulo
18%
Dead Sea Scrolls
18%
Optical Character Recognition
18%
Computational Model
17%
Inference Rules
16%
Term Rewriting
16%
Turing Machine
15%
Programmer
14%
Inference System
14%
Recursive Path Ordering
13%
Horn Clauses
13%
Language Model
13%
Theorem Proving
13%
Redundancy
13%
Historical Manuscripts
13%
Computability
13%
Church-Turing Thesis
13%
Pottery
12%
Constructor
12%
Program Synthesis
12%
Parallel Algorithm
12%
Experimental Implementation
12%
Program Annotation
12%
Analog Algorithms
12%
Conditional Term Rewriting
12%
Religious Holidays
12%
Instantiation
12%
Planted Tree
12%
Ordered Planes
12%
Bug Correction
12%
Number of Occurrences
12%
Schizophrenia
12%
Program Induction
12%
Functional Programming
12%
Keyword Spotting
11%
Knuth-Bendix Completion
11%
Computer Science
Logic Programming
53%
Optical Character Recognition
39%
Term Rewriting Systems
38%
Completion Procedure
30%
Proving Termination
28%
State Machine
26%
Turing Machine
24%
Rewrite Rule
24%
Theorem Proving
21%
Annotation
20%
Model of Computation
18%
Sufficient Condition
18%
Computational Modeling
18%
Axiomatization
18%
Functional Programming
17%
Inference System
16%
Inference Rule
16%
Deep Learning Method
16%
Information Retrieval
15%
Decision Procedure
14%
Language Modeling
14%
Termination Function
14%
Translation System
14%
Equational Theory
14%
Programming Language
14%
Founded Ordering
12%
Paramodulation
12%
Resolution Refutation
12%
Character Recognition
12%
Instantiation
12%
Experimental Result
12%
Solving Equation
12%
Pairwise Similarity
12%
Constructors
12%
program debugging
12%
Parallel Algorithm
12%
Invariant
12%
Synthetic Image
11%
Program Synthesis
10%
Parallel Corpus
10%
Conditional Equation
10%
Training Data
10%
Data Type
9%
Data Structure
9%
Transformation Rule
9%
Data Augmentation
9%
Computability
9%
Captured Image
8%
Abstract Machine
8%
Redundancy Criterion
8%
