# HG changeset patch # User Christian Urban # Date 1380043661 -3600 # Node ID d5fdb5c6248b51705ebd06ceb1d7826ea286c827 # Parent 84297c4b3727e435b84a94baa58f2dc8a3b02caa added 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