Vincent van Oostrom

Address

Onderwijs:

• Datastructuren voor CKI (2005-)
• CAI Presentation and introductory puzzle (in dutch, from NWT). (16-1-2007)
• Imperatief Programmeren (1999-)
• Inleiding Logica (2009-)
• Models of Computation (2009-)
• Afgelopen onderwijs

Event:

• Buy the book on Term Rewriting Systems by Terese (doi:10.2277/0521391156).
• Submit a journal paper to Applicable Algebra in Engineering, Communication and Computing.
• Past event

Publication:

• algebra
• logic
• rewriting
• miscellaneous