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

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: Gerald E. Peterson