External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories

Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch. SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. In Harald Ganzinger, editor, Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings. Volume 1103 of Lecture Notes in Computer Science, pages 428-431, Springer, 1996.

Authors

Narjes Berregeb

This author has not been identified. Look up 'Narjes Berregeb' in Google

Adel Bouhoula

This author has not been identified. Look up 'Adel Bouhoula' in Google

Michaël Rusinowitch

This author has not been identified. Look up 'Michaël Rusinowitch' in Google
runs on