EasyChair Smart Slide
Term rewriting characterisation of LOGSPACE for finite and infinite data
Term rewriting characterisation of LOGSPACE for finite and infinite data