Title | ||
---|---|---|
Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings |
Year | Venue | Field |
---|---|---|
2001 | RTA | Programming language,Interaction nets,Program transformation,Unification,Mathematical proof,Rewriting,Confluence,Beta normal form,Recursion,Mathematics |
DocType | Volume | ISBN |
Conference | 2051 | isbn |
Citations | PageRank | References |
24 | 2.43 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
applications | 1 | 590 | 94.91 |
aart middeldorp | 2 | 24 | 2.43 |