Ross A. Overbeek

Available identifiers

zbMath Open overbeek.ross-aDBLPo/RossAOverbeekWikidataQ7369556 ScholiaQ7369556MaRDI QIDQ1165593

List of research outcomes

Publication	Date of Publication	Type
Automated reasoning contributes to mathematics and logic	2023-04-28	Paper
A high-performance parallel theorem prover	2023-04-28	Paper
Maximum likelihood genetic sequence reconstruction from oligo content	1994-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4296171	1994-06-16	Paper
Derivation of efficient parallel programs: An example from genetic sequence analysis	1990-01-01	Paper
Geometric specification of scheduling constraints: A simplified approach to multiprocessing	1988-01-01	Paper
A Parallel Adaptive Numerical Scheme for Hyperbolic Systems of Conservation Laws	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750137	1986-01-01	Paper
A foray into combinatory logic	1986-01-01	Paper
Problem corner: Reasoning about equality	1985-01-01	Paper
Problem corner: Non-Horn problems	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3829089	1984-01-01	Paper
Experiments with resolution-based theorem-proving algorithms	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880317	1980-01-01	Paper
Problems and Experiments for and with Automated Theorem-Proving Programs	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130949	1976-01-01	Paper
An implementation of hyper-resolution	1975-01-01	Paper
A New Class of Automated Theorem-Proving Algorithms	1974-01-01	Paper
The Representation of Many-One Degrees by Decision Problems of Turing Machines	1973-01-01	Paper
The Representation of Many-One Degrees by the Word Problem for Thue Systems	1973-01-01	Paper
The many-one equivalence of some general combinatorial decision problems	1971-01-01	Paper

Research outcomes over time

This page was built for person: Ross A. Overbeek