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

Domenico Cantone, Vincenzo Cutello, Alfredo Ferro

Browse the full ISSAC paper archive.