Original language | English |
---|---|
Publisher | Department of Information and Computing Sciences, Utrecht University |
Volume | UU-CS-2012-013 |
Publication status | Published - 2012 |
Log-Based Reduction by Rewriting
A. Elyasov, I.S.W.B. Prasetya, J. Hage
Research output: Book/Report › Report › Academic