Rewriting System for the Surface Classification Theorem

BibTeX

@article{,
	author = {Pulcini, Gabriele},
	title = {Rewriting System for the Surface Classification Theorem},
	year= {2010},
}

Gruppo di Logica e Geometria della Cognizione