%0 Journal Article %1 journals/siamcomp/Dezani-CiancagliniV90 %A Dezani-Ciancaglini, Mariangiola %A Venneri, Betti %D 1990 %J SIAM J. Comput. %K dblp %N 4 %P 644-568 %T Partial Types and Intervals. %U http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp19.html#Dezani-CiancagliniV90 %V 19

@article{journals/siamcomp/Dezani-CiancagliniV90, added-at = {2011-09-12T00:00:00.000+0200}, author = {Dezani-Ciancaglini, Mariangiola and Venneri, Betti}, biburl = {https://www.bibsonomy.org/bibtex/276e3a67b083fb546ed6fc8786a1e415b/dblp}, ee = {http://dx.doi.org/10.1137/0219043}, interhash = {094432ef4c015d4b31602a3f7c8a2133}, intrahash = {76e3a67b083fb546ed6fc8786a1e415b}, journal = {SIAM J. Comput.}, keywords = {dblp}, number = 4, pages = {644-568}, timestamp = {2011-09-13T11:42:56.000+0200}, title = {Partial Types and Intervals.}, url = {http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp19.html#Dezani-CiancagliniV90}, volume = 19, year = 1990 }