• Published 2013

Infinitary Standardisation – Computed

@inproceedings{Ketema2013InfinitaryS,
  title={Infinitary Standardisation – Computed},
  author={Jeroen Ketema},
  year={2013}
}
An constructive parallel standardisation method for infinitary rewriting is provided.