Conditional Rewriting in Focus

Authors:
François Bronsard;Uday S. Francois
Affiliations:
-;-
Venue:
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
Year:
1990

Deductive and inductive synthesis of equational programs

Journal of Symbolic Computation - Special issue on automatic programming
A general framework to build contextual cover set

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Automatic case analysis in proof by induction

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Contextual Rewriting In Automated Reasoning

Fundamenta Informaticae

Hi-index	0.00