The following pages link to Ross A. Overbeek (Q1165593):
Displaying 21 items.
- (Q916410) (redirect page) (← links)
- Derivation of efficient parallel programs: An example from genetic sequence analysis (Q916411) (← links)
- A foray into combinatory logic (Q1098335) (← links)
- Geometric specification of scheduling constraints: A simplified approach to multiprocessing (Q1103400) (← links)
- Experiments with resolution-based theorem-proving algorithms (Q1165594) (← links)
- An implementation of hyper-resolution (Q1231393) (← links)
- Problem corner: Non-Horn problems (Q1819949) (← links)
- Problem corner: Reasoning about equality (Q1820598) (← links)
- (Q3750137) (← links)
- A Parallel Adaptive Numerical Scheme for Hyperbolic Systems of Conservation Laws (Q3756438) (← links)
- (Q3829089) (← links)
- (Q3880317) (← links)
- Problems and Experiments for and with Automated Theorem-Proving Programs (Q4095910) (← links)
- (Q4130949) (← links)
- (Q4296171) (← links)
- Maximum likelihood genetic sequence reconstruction from oligo content (Q4305126) (← links)
- A New Class of Automated Theorem-Proving Algorithms (Q4773313) (← links)
- The many-one equivalence of some general combinatorial decision problems (Q5619078) (← links)
- The Representation of Many-One Degrees by Decision Problems of Turing Machines (Q5666540) (← links)
- The Representation of Many-One Degrees by the Word Problem for Thue Systems (Q5666541) (← links)
- A high-performance parallel theorem prover (Q6488572) (← links)
