An Axiomatization for Cylinder Computation Model.

Nan Zhang, Zhenhua Duan, Cong Tian

Browse the full COCOON paper archive.