%0 Journal Article %1 journals/jsc/ComonLS91 %A Comon, Hubert %A Lugiez, Denis %A Schnoebelen, Philippe %D 1991 %J J. Symb. Comput. %K %N 4 %P 349-368 %T A Rewrite-Based Type Discipline for a Subset of Computer Algebra. %U http://dblp.uni-trier.de/db/journals/jsc/jsc11.html#ComonLS91 %V 11

@article{journals/jsc/ComonLS91, added-at = {2023-12-13T03:15:00.000+0100}, author = {Comon, Hubert and Lugiez, Denis and Schnoebelen, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/2a078c76502f584388fac332f91109cf6/admin}, ee = {http://dx.doi.org/10.1016/S0747-7171(08)80110-1}, interhash = {89260b41655c74944804398da48524c8}, intrahash = {a078c76502f584388fac332f91109cf6}, journal = {J. Symb. Comput.}, keywords = {}, number = 4, pages = {349-368}, timestamp = {2023-12-13T03:15:00.000+0100}, title = {A Rewrite-Based Type Discipline for a Subset of Computer Algebra.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc11.html#ComonLS91}, volume = 11, year = 1991 }