Infoscience

Report

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

    Note:

    MIT CSAIL report number 958

    Superseded by citeKuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic

    Reference

    • LARA-REPORT-2004-003

    Record created on 2007-08-21, modified on 2016-08-08

Related material