information about Rewriting calculus field
Rewriting calculus
Field Hierarchy
| Parent | |||
|---|---|---|---|
Confluence 5,814 papers | Matching (graph theory) 11 papers | Term (logic) 4 papers | |
| Current | |||
Rewriting calculus papers | |||
| Child | |||
Rho calculus 0 papers | |||
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Confluence 5,814 papers | Matching (graph theory) 11 papers | Term (logic) 4 papers | |
| Current | |||
Rewriting calculus papers | |||
| Child | |||
Rho calculus 0 papers | |||