ISSN:
1573-0670
Schlagwort(e):
Decision procedures
;
set theory
;
program verification
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
Notizen:
Abstract This paper gives a decision procedure for the class of set-theoretic formulae in the unquantified language ℒ involving Boolean set operators, set equality and membership, domain and range operators, direct and inverse image operators, as well as the predicates SINGLEVALUED, INJECTIVE, and INV (for inverse).
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF00243808
Permalink