4 citations · 4 across the 8 of their papers we have counts for
1 paper · 2 filters
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…