Liknande böcker

Cambridge Computer Science Texts
Bok av L. Allison
Qualified Types
Bok av Mark P. Jones
Cambridge Tracts in Theoretical Computer Science
Bok av Wim H Hesselink
Conditional Term Rewriting Systems : 1st International Workshop Orsay, F...
Bok av Stephane Kaplan
The B-Book : Assigning Programs to Meanings
Bok av Jean-Raymond Abrial
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Scie...
Bok av Rudiger Reischuk
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, Apr...
Bok av Bruno Buchberger
Developments In Language Theory: Foundations, Applications, And Perspect...
Bok av ROZENBERG G ET AL

Term Rewriting Systems

Bok av Terese