The following pages link to Paul Walton jun. Purdom (Q1095676):
Displaying 37 items.
- (Q751311) (redirect page) (← links)
- (Q1135116) (redirect page) (← links)
- A practical unification algorithm (Q751312) (← links)
- Polynomial-average-time satisfiability problems (Q1095678) (← links)
- An exponential lower bound for the pure literal rule (Q1104093) (← links)
- Semantic routines and \(LR(k)\) parsers (Q1135117) (← links)
- Backtracking with multi-level dynamic search rearrangement (Q1138385) (← links)
- Parsing extended LR(k) grammars (Q1138389) (← links)
- Exact formulas for the buddy system (Q1148119) (← links)
- (Q1370607) (redirect page) (← links)
- Backtracking and random constraint satisfaction (Q1370608) (← links)
- An Analysis of Backtracking with Search Rearrangement (Q3036695) (← links)
- (Q3145805) (← links)
- A methodology and notation for compiler front end design (Q3314979) (← links)
- Solving Satisfiability with Less Searching (Q3335000) (← links)
- The Pure Literal Rule and Polynomial Average Time (Q3694704) (← links)
- (Q3696523) (← links)
- (Q3774933) (← links)
- A New Base Change Algorithm for Permutation Groups (Q3830527) (← links)
- Exponential Average Time for the Pure Literal Rule (Q3832061) (← links)
- (Q3832741) (← links)
- An Average Time Analysis of Backtracking (Q3911407) (← links)
- (Q3985347) (← links)
- Average Time Analysis of Clause Order Backtracking (Q4032940) (← links)
- Analysis of a multi-level time-sharing model (Q4057626) (← links)
- The size of LALR (1) parsers (Q4065011) (← links)
- Automatic program indentation (Q4155805) (← links)
- Tree Size by Partial Backtracking (Q4167574) (← links)
- (Q4203815) (← links)
- (Q4331754) (← links)
- Probe Order Backtracking (Q4337643) (← links)
- (Q4375757) (← links)
- (Q4375758) (← links)
- Average-Case Performance of the Apriori Algorithm (Q4651513) (← links)
- Statistical Properties of the Buddy System (Q5620331) (← links)
- Statistical investigation of three storage allocation algorithms (Q5633635) (← links)
- Analysis of Two Time-Sharing Queueing Models (Q5637714) (← links)
- A sentence generator for testing parsers (Q5653549) (← links)
