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 Logically Saturated Extension of

Lionel Elie Mamane, Herman Geuvers, James McKinna. A Logically Saturated Extension of . In Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt, editors, Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Volume 5625 of Lecture Notes in Computer Science, pages 405-421, Springer, 2009. [doi]

Authors

Lionel Elie Mamane

This author has not been identified. Look up 'Lionel Elie Mamane' in Google

Herman Geuvers

This author has not been identified. Look up 'Herman Geuvers' in Google

James McKinna

This author has not been identified. Look up 'James McKinna' in Google
runs on