%0 Conference Paper %1 conf/icalp/TannenS91 %A Tannen, Val %A Subrahmanyam, Ramesh %B ICALP %D 1991 %E Albert, Javier Leach %E Monien, Burkhard %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 60-75 %T Logical and Computational Aspects of Programming with Sets/Bags/Lists. %U http://dblp.uni-trier.de/db/conf/icalp/icalp91.html#TannenS91 %V 510 %@ 0-387-54233-7

@inproceedings{conf/icalp/TannenS91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Tannen, Val and Subrahmanyam, Ramesh}, biburl = {https://www.bibsonomy.org/bibtex/22042178c707436fb8c729eb080091378/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1991}, editor = {Albert, Javier Leach and Monien, Burkhard and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-54233-7_125}, interhash = {f49092e424b54d77be3c6ce8108bc9f5}, intrahash = {2042178c707436fb8c729eb080091378}, isbn = {0-387-54233-7}, keywords = {dblp}, pages = {60-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:00:24.000+0200}, title = {Logical and Computational Aspects of Programming with Sets/Bags/Lists.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp91.html#TannenS91}, volume = 510, year = 1991 }