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
A foray into combinatory logic	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750137	1986-01-01	Paper
Problem corner: Non-Horn problems	1985-01-01	Paper
Problem corner: Reasoning about equality	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ross A. Overbeek