report

The First-Order Theory of Sets with Cardinality Constraints is Decidable

Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2004
Type
report
Author(s)
Kuncak, Viktor  orcid-logo
Rinard, Martin
Date Issued

2004

Note

MIT CSAIL report number 958

Superseded by citeKuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic

URL

URL

http://arxiv.org/abs/cs/0407045
Written at

OTHER

EPFL units
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10372