Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
Sci. Ann. Comp. Sci.. pp. 1-31. vol. 20. 2010.
@ARTICLE{DBLP:journals/cuza/BartocciCBMT10,
title = {{Shape Calculus. A Spatial Mobile Calculus for 3D Shapes}},
author = {Bartocci, Ezio and Corradini, Flavio and Berardini, Maria Rita Di and Merelli, Emanuela and Tesei, Luca},
journal = {Sci. Ann. Comp. Sci.},
pages = {1-31},
volume = {20},
year = {2010},
}