Name
Year | Venue | Keywords |
|---|---|---|
1997 | BCEC | abstract rewriting system,halting property,symbolic chemical system |
Field | DocType | ISBN |
Programming language,Theoretical computer science,Confluence,Abstract rewriting system,Mathematics | Conference | 981-02-3262-4 |
Citations | PageRank | References |
1 | 0.56 | 1 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yasuhiro Suzuki | 1 | 126 | 13.64 |
| Hiroshi Tanaka | 2 | 43 | 6.82 |