%0 Conference Paper %1 conf/icalp/EhrigKTWW80 %A Ehrig, Hartmut %A Kreowski, Hans-Jörg %A Thatcher, James W. %A Wagner, Eric G. %A Wright, Jesse B. %B ICALP %D 1980 %E de Bakker, J. W. %E van Leeuwen, Jan %I Springer %K dblp %P 157-168 %T Parameterized Data Types in Algebraic Specification Languages (Short Version). %U http://dblp.uni-trier.de/db/conf/icalp/icalp80.html#EhrigKTWW80 %V 85 %@ 3-540-10003-2

@inproceedings{conf/icalp/EhrigKTWW80, added-at = {2017-05-19T00:00:00.000+0200}, author = {Ehrig, Hartmut and Kreowski, Hans-Jörg and Thatcher, James W. and Wagner, Eric G. and Wright, Jesse B.}, biburl = {https://www.bibsonomy.org/bibtex/2056e78059f4f635b55685fbc653b2ba2/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1980}, editor = {de Bakker, J. W. and van Leeuwen, Jan}, ee = {https://doi.org/10.1007/3-540-10003-2_68}, interhash = {187a91435512c3ec3d2d07e602e76f75}, intrahash = {056e78059f4f635b55685fbc653b2ba2}, isbn = {3-540-10003-2}, keywords = {dblp}, pages = {157-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:25:52.000+0200}, title = {Parameterized Data Types in Algebraic Specification Languages (Short Version).}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp80.html#EhrigKTWW80}, volume = 85, year = 1980 }