Clausal Rewriting

Authors:
Robert Nieuwenhuis;Fernando Orejas
Affiliations:
-;-
Venue:
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
Year:
1990

Citing 0
Cited 3

A completion procedure for conditional equationst

Journal of Symbolic Computation
Deductive and inductive synthesis of equational programs

Journal of Symbolic Computation - Special issue on automatic programming
Ordering-based strategies for horn clauses

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract