Automatic Proofs by Induction in Equational Theories Without Constructors

Sorry, there's nothing here.

Statistics

0510'90'93'96'99'02'05'08'11'14'17
Citations per Year

76 Citations

Semantic Scholar estimates that this publication has 76 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Jouannaud1986AutomaticPB, title={Automatic Proofs by Induction in Equational Theories Without Constructors}, author={Jean-Pierre Jouannaud and Emmanuel Kounalis}, booktitle={LICS}, year={1986} }