Vincent van Oostrom

Research on:

• algebra
• logic
• rewriting
• miscellaneous