Vincent van Oostrom
Research:
on
algebra
on
logic
on
rewriting
miscellaneous
some
theses
supervised
