author = {Wolfgang Gehrke},
title = {{Decidability Results for Categorical Notions Related to Monads by Rewriting Techniques}},
language = {english},
year = {1995},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0},
type = {phdthesis}