The following pages link to Ross A. Overbeek (Q1165593):
Displaying 11 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)
- 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)
