Under consideration for publication in Math. Struct. in Comp. Science A rewriting calculus for cyclic higher-order term graphs PAOLO BALDAN1 CLARA BERTOLISSI3 CLAUDE KIRCHNER5

First Page		Document Content
Date: 2007-03-13 06:02:45		Under consideration for publication in Math. Struct. in Comp. Science A rewriting calculus for cyclic higher-order term graphs PAOLO BALDAN1 CLARA BERTOLISSI3 CLAUDE KIRCHNER5 Add to Reading List Source URL: www.math.unipd.it Download Document from Source Website File Size: 469,39 KB Share Document on Facebook