Cite

HARVARD Citation

    BAHR, P. (2018). Convergence in infinitary term graph rewriting systems is simple. Mathematical structures in computer science. pp. 1363-1414. [Online]. 
  
Back to record