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

English
French

English
French

Home
Academic and Research Output
Reports, Documentation, and Standards
The First-Order Theory of Sets with Cardinality Constraints is Decidable

report

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

•

Rinard, Martin

2004

Contact
infoscience@epfl.ch

Follow us on Facebook
Follow us on Instagram
Follow us on LinkedIn
Follow us on X
Follow us on Youtube

Accessibility Legal notice Privacy policy Cookie settings End User Agreement Get help Feedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés