%0 Thesis %1 phd/us/Bansal16 %A Bansal, Kshitij %D 2016 %K dblp %T Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions.

@phdthesis{phd/us/Bansal16, added-at = {2022-05-09T00:00:00.000+0200}, author = {Bansal, Kshitij}, biburl = {https://www.bibsonomy.org/bibtex/275befe32d25c7b7da1c02bce1bc0eff4/dblp}, ee = {https://cs.nyu.edu/media/publications/bansal_kshitij.pdf}, interhash = {1b894d0d8398d74b1cac1a2c7e6559af}, intrahash = {75befe32d25c7b7da1c02bce1bc0eff4}, keywords = {dblp}, school = {New York University, USA}, timestamp = {2024-04-09T08:02:14.000+0200}, title = {Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions.}, year = 2016 }