David R. Musser

MaRDI QIDQ1094887zbMATH 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
Fundamental proof methods in computer science. A computer-based approach	2017-09-29	Paper
scientific article; zbMATH DE number 2100550 (Why is no real title available?)	2004-09-14	Paper
scientific article; zbMATH DE number 2033539 (Why is no real title available?)	2004-01-27	Paper
scientific article; zbMATH DE number 1949594 (Why is no real title available?)	2003-07-15	Paper
scientific article; zbMATH DE number 1693552 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1254303 (Why is no real title available?)	1999-06-21	Paper
scientific article; zbMATH DE number 44187 (Why is no real title available?)	1992-09-17	Paper
Semi-unification Theoretical Computer Science	1991-01-01	Paper
Only prime superpositions need be considered in the Knuth-Bendix completion procedure Journal of Symbolic Computation	1988-01-01	Paper
scientific article; zbMATH DE number 4092757 (Why is no real title available?)	1988-01-01	Paper
Proof by consistency Artificial Intelligence	1987-01-01	Paper
On Proving Uniform Termination and Restricted Termination of Rewriting Systems SIAM Journal on Computing	1983-01-01	Paper
A Generalized Class of Polynomials that are Hard to Factor SIAM Journal on Computing	1983-01-01	Paper
scientific article; zbMATH DE number 3911688 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3759538 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3750285 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3684928 (Why is no real title available?)	1980-01-01	Paper
Abstract Data Type Specification in the Affirm System IEEE Transactions on Software Engineering	1980-01-01	Paper
Abstract data types and software validation Communications of the ACM	1978-01-01	Paper
On the Efficiency of a Polynomial Irreducibility Test Journal of the ACM	1978-01-01	Paper
Analysis of the Pope-Stein division algorithm Information Processing Letters	1977-01-01	Paper
Multivariate Polynomial Factorization Journal of the ACM	1975-01-01	Paper
scientific article; zbMATH DE number 3323541 (Why is no real title available?)	1969-01-01	Paper

Research outcomes over time

This page was built for person: David R. Musser