4 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Aart Middeldorp, Femke van Raamsdonk
This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014…