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.

A Solution of the Complement Problem in Associative-Commutative Theories

Emmanuel Kounalis, Denis Lugiez, Loic Pottier. A Solution of the Complement Problem in Associative-Commutative Theories. In Andrzej Tarlecki, editor, Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS 91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Volume 520 of Lecture Notes in Computer Science, pages 287-297, Springer, 1991.

Authors

Emmanuel Kounalis

This author has not been identified. Look up 'Emmanuel Kounalis' in Google

Denis Lugiez

This author has not been identified. Look up 'Denis Lugiez' in Google

Loic Pottier

This author has not been identified. Look up 'Loic Pottier' in Google
runs on