Intensional properties of polygraphs (2008)

by G BONFANTE, Y GUIRAUD
Venue:in "4th International Workshop on Computing with Terms and Graphs - TERMGRAPH 2007 Electronic Notes in Theoretical Computer Science