Searched: Horatiu *Cirstea[^A-Za-z]
Results from Transform web
The Rewriting Calculus provides a combination of functional programming and term rewriting. http://www.loria.fr/~ckirchne/ rho/rho.html HoratiuCirstea ClaudeKirchner ...

Number of topics: 1