On Word Problems in Equational Theories

Authors:
Jieh Hsiang;Michaël Rusinowitch
Affiliations:
-;-
Venue:
ICALP '87 Proceedings of the 14th International Colloquium, on Automata, Languages and Programming
Year:
1987

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
Abstract canonical inference

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract