Complete Sets of Reductions with Constraints

Authors:
Gerald E. Peterson
Affiliations:
-
Venue:
Proceedings of the 10th International Conference on Automated Deduction
Year:
1990

Citing 0
Cited 3

Deductive and inductive synthesis of equational programs

Journal of Symbolic Computation - Special issue on automatic programming
On using ground joinable equations in equational theorem proving

Journal of Symbolic Computation - Special issue: First order theorem proving
Solving term inequalities

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract