report

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

Kuncak, Viktor  
•
Rinard, Martin
2004
Loading...
Thumbnail Image
Name

KuncakRinard04FirstOrderTheorySetsCardinalityConstraintsDecidable.pdf

Access type

openaccess

Size

328.17 KB

Format

Adobe PDF

Checksum (MD5)

7636be7fec0b80368d24942148b9f5e6