Logical and Computational Aspects of Programming with Sets/Bags/Lists

Submitted by dbgroup-admin on Thu, 05/27/2010 - 20:57

TitleLogical and Computational Aspects of Programming with {Sets/Bags/Lists}
Publication TypeConference Paper
Year of Publication1991
AuthorsBreazu-Tannen V, Subrahmanyam R
Conference NameLNCS 510: Proceedings of 18th International Colloquium on Automata, Languages, and Programming, Madrid, Spain, July 1991
PublisherSpringer Verlag