information about Rewriting induction field
Rewriting induction
Field Hierarchy
| Parent | |||
|---|---|---|---|
Confluence 5,814 papers | Term (logic) 4 papers | ||
| Current | |||
Rewriting induction papers | |||
| Child | |||
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Confluence 5,814 papers | Term (logic) 4 papers | ||
| Current | |||
Rewriting induction papers | |||
| Child | |||