diff -r 84297c4b3727 -r d5fdb5c6248b bsc-projects-13.html
--- a/bsc-projects-13.html Mon Sep 23 01:54:12 2013 +0100
+++ b/bsc-projects-13.html Tue Sep 24 18:27:41 2013 +0100
@@ -105,7 +105,7 @@
about the problem much longer than a single afternoon. The task
in this project is to find out how good they actually are by implementing the results from their paper.
Their approach is based on the concept of partial derivatives introduced in 1994 by
- Valentin Antimirov.
+ Valentin Antimirov.
I used them once myself in a paper
in order to prove the Myhill-Nerode theorem.
So I know they are worth their money. Still, it would be interesting to actually compare their results