Gerald E. Peterson

Available identifiers

zbMath Open peterson.gerald-eMaRDI QIDQ757092

List of research outcomes

Publication	Date of Publication	Type
Complete sets of reductions with constraints	2023-04-28	Paper
Complete sets of reductions modulo associativity, commutativity and identity	2022-12-09	Paper
Using forcing to prove completeness of resolution and paramodulation	1991-01-01	Paper
A Technique for Establishing Completeness Results in Theorem Proving with Equality	1983-01-01	Paper
Complete Sets of Reductions for Some Equational Theories	1981-01-01	Paper
Summability Factors for Infinite Integrals	1969-01-01	Paper

Research outcomes over time

This page was built for person: Gerald E. Peterson