%0 Journal Article %1 journals/tcs/WagnerE87 %A Wagner, Eric G. %A Ehrig, Hartmut %D 1987 %J Theor. Comput. Sci. %K dblp %P 323-349 %T Canonical Constraints for Parameterized Data Types. %U http://dblp.uni-trier.de/db/journals/tcs/tcs50.html#WagnerE87 %V 50

@article{journals/tcs/WagnerE87, added-at = {2021-02-17T00:00:00.000+0100}, author = {Wagner, Eric G. and Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/27975502f983d0cf3948b3ef06a4d6fe3/dblp}, ee = {https://doi.org/10.1016/0304-3975(87)90119-8}, interhash = {4f63ac985269f61c55fa9eb292bf486c}, intrahash = {7975502f983d0cf3948b3ef06a4d6fe3}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {323-349}, timestamp = {2024-04-08T18:50:35.000+0200}, title = {Canonical Constraints for Parameterized Data Types.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs50.html#WagnerE87}, volume = 50, year = 1987 }