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.

Abstract

Abstract is missing.

runs on