%0 Conference Paper %1 conf/birthday/WandO91 %A Wand, Mitchell %A O'Keefe, Patrick %B Computational Logic - Essays in Honor of Alan Robinson %D 1991 %E Lassez, Jean-Louis %E Plotkin, Gordon D. %I The MIT Press %K dblp %P 479-483 %T Automatic Dimensional Inference. %U http://dblp.uni-trier.de/db/conf/birthday/robinson91.html#WandO91 %@ 0-262-12156-5

@inproceedings{conf/birthday/WandO91, added-at = {2016-03-30T00:00:00.000+0200}, author = {Wand, Mitchell and O'Keefe, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/281593f8625ccc1f9d298c3adf90777e1/dblp}, booktitle = {Computational Logic - Essays in Honor of Alan Robinson}, crossref = {conf/birthday/1991robinson}, editor = {Lassez, Jean-Louis and Plotkin, Gordon D.}, interhash = {bbddbcb81de23adebee2798ccc26e14e}, intrahash = {81593f8625ccc1f9d298c3adf90777e1}, isbn = {0-262-12156-5}, keywords = {dblp}, pages = {479-483}, publisher = {The MIT Press}, timestamp = {2016-03-31T11:42:02.000+0200}, title = {Automatic Dimensional Inference.}, url = {http://dblp.uni-trier.de/db/conf/birthday/robinson91.html#WandO91}, year = 1991 }