English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
The First-Order Theory of Sets with Cardinality Constraints is Decidable
> Access to Fulltext
Information
Usage statistics
Files
The First-Order Theory of Sets with Cardinality Co[...]
-
Kuncak, Viktor
et al
main
file(s):
KuncakRinard04FirstOrderTheorySetsCardinalityConstraintsDecidable
version 1
KuncakRinard04FirstOrderTheorySetsCardinalityConstraintsDecidable.pdf
[328.17 KB]
27 Jan 2018, 13:04
n/a