Ross A. Overbeek

MaRDI QIDQ1165593zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Networks	1994-09-05	Paper
scientific article; zbMATH DE number 590572 (Why is no real title available?)	1994-06-16	Paper
Derivation of efficient parallel programs: An example from genetic sequence analysis International Journal of Parallel Programming	1990-01-01	Paper
Geometric specification of scheduling constraints: A simplified approach to multiprocessing Parallel Computing	1988-01-01	Paper
A Parallel Adaptive Numerical Scheme for Hyperbolic Systems of Conservation Laws SIAM Journal on Scientific and Statistical Computing	1987-01-01	Paper
scientific article; zbMATH DE number 3986666 (Why is no real title available?)	1986-01-01	Paper
A foray into combinatory logic Journal of Automated Reasoning	1986-01-01	Paper
Problem corner: Reasoning about equality Journal of Automated Reasoning	1985-01-01	Paper
Problem corner: Non-Horn problems Journal of Automated Reasoning	1985-01-01	Paper
scientific article; zbMATH DE number 4104410 (Why is no real title available?)	1984-01-01	Paper
Experiments with resolution-based theorem-proving algorithms Computers & Mathematics with Applications	1982-01-01	Paper
scientific article; zbMATH DE number 3684930 (Why is no real title available?)	1980-01-01	Paper
Problems and Experiments for and with Automated Theorem-Proving Programs IEEE Transactions on Computers	1976-01-01	Paper
scientific article; zbMATH DE number 3558909 (Why is no real title available?)	1976-01-01	Paper
An implementation of hyper-resolution Computers & Mathematics with Applications	1975-01-01	Paper
A New Class of Automated Theorem-Proving Algorithms Journal of the ACM	1974-01-01	Paper
The Representation of Many-One Degrees by Decision Problems of Turing Machines Proceedings of the London Mathematical Society	1973-01-01	Paper
The Representation of Many-One Degrees by the Word Problem for Thue Systems Proceedings of the London Mathematical Society	1973-01-01	Paper
The many-one equivalence of some general combinatorial decision problems Bulletin of the American Mathematical Society	1971-01-01	Paper

Research outcomes over time

This page was built for person: Ross A. Overbeek