information about Sequent calculus field
Field Hierarchy
Parent | |||
---|---|---|---|
Mathematics 22.2M papers | Geometry 6.4M papers | Mathematical proof 44.3k papers | |
Current | |||
Sequent calculus 1,804 papers | |||
Child | |||
Cut-elimination theorem 770 papers |
Trends
Notes
History
Parent | |||
---|---|---|---|
Mathematics 22.2M papers | Geometry 6.4M papers | Mathematical proof 44.3k papers | |
Current | |||
Sequent calculus 1,804 papers | |||
Child | |||
Cut-elimination theorem 770 papers |