Name
Title | ||
|---|---|---|
Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings |
Year | Venue | Field |
|---|---|---|
1991 | RTA | Discrete mathematics,Lambda calculus,Unification,Decidability,Graph rewriting,Rewriting,Confluence,Abstract semantic graph,Mathematics,Knuth–Bendix completion algorithm |
DocType | Volume | ISBN |
Conference | 488 | isbn |
Citations | PageRank | References |
40 | 7.61 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ronald V. Book | 1 | 1506 | 234.41 |
| applications | 2 | 590 | 94.91 |