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.

Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs

Domenico Cantone, Vincenzo Cutello, Alfredo Ferro. Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. In Patrizia M. Gianni, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 88, Rome, Italy, July 4-8, 1988, Proceedings. Volume 358 of Lecture Notes in Computer Science, pages 407-422, Springer, 1988.

Authors

Domenico Cantone

This author has not been identified. Look up 'Domenico Cantone' in Google

Vincenzo Cutello

This author has not been identified. Look up 'Vincenzo Cutello' in Google

Alfredo Ferro

This author has not been identified. Look up 'Alfredo Ferro' in Google
runs on