Links

Tools

Export citation

Search in Google Scholar

FTP 2003 Preliminary Version

Journal article published in 2004 by Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Question mark in circle
Preprint: policy unknown
Upload
Question mark in circle
Postprint: policy unknown
Upload
Question mark in circle
Published version: policy unknown
Upload

Abstract

MLSS is a decidable sublanguage of set theory involving the predicates membership, set equality, set inclusion, and the operators union, intersection, set di#erence, and singleton.