This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
The article has incomplete symbols which make it difficult to understand. First sentence "such that field(R) ⊆ Γ+" What set does tau represent? L(R) = x such that there exists y <what?> R(x,y) EaswarH 02:44, 14 December 2011 (UTC)
This article appears to be a poor mash-up of the PlanetMath article and Brown's lecture notes. It is even hard to tell that they are talking about the same thing. There are texts about this subject. We can certainly do better than this.--Bill Cherowitzo (talk) 03:50, 19 June 2016 (UTC)