information about Term (logic) field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Algebra 98 papers | |||
| Current | |||
Term (logic) 4 papers | |||
| Child | |||
Kolakoski sequence 0 papers | Machin-like formula 0 papers | Path-ordering 0 papers | Rewriting induction 0 papers |
Rewriting calculus 0 papers | Dependency pairs 0 papers | Conditional term 0 papers | Rewriting system 0 papers |
Trends
Notes
History