report
The First-Order Theory of Sets with Cardinality Constraints is Decidable
2004
Loading...
Name
KuncakRinard04FirstOrderTheorySetsCardinalityConstraintsDecidable.pdf
Access type
openaccess
Size
328.17 KB
Format
Adobe PDF
Checksum (MD5)
7636be7fec0b80368d24942148b9f5e6