%0 Conference Paper %1 conf/frocos/DovierPP00 %A Dovier, Agostino %A Piazza, Carla %A Policriti, Alberto %B FroCoS %D 2000 %E Kirchner, Hélène %E Ringeissen, Christophe %I Springer %K dblp %P 275-289 %T Comparing Expressiveness of Set Constructor Symbols. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2000.html#DovierPP00 %V 1794 %@ 3-540-67281-8

@inproceedings{conf/frocos/DovierPP00, added-at = {2017-05-21T00:00:00.000+0200}, author = {Dovier, Agostino and Piazza, Carla and Policriti, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/281695ddf4e943975738c2e95beb576ac/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2000}, editor = {Kirchner, Hélène and Ringeissen, Christophe}, ee = {https://doi.org/10.1007/10720084_18}, interhash = {d646e9091e61038e9f4e5fbd5d606b4e}, intrahash = {81695ddf4e943975738c2e95beb576ac}, isbn = {3-540-67281-8}, keywords = {dblp}, pages = {275-289}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:02:41.000+0200}, title = {Comparing Expressiveness of Set Constructor Symbols.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2000.html#DovierPP00}, volume = 1794, year = 2000 }