This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Cut-elimination theorem field

Cut-elimination theorem

https://www.wikidata.org/wiki/Q376166
Field Hierarchy
Parent
Computer science
55.7M papers
Mathematics
21.4M papers
Programming language
7.3M papers
Geometry
6.3M papers
Discrete mathematics
708k papers
Theoretical computer science
632k papers
Mathematical proof
44.5k papers
Natural deduction
2,499 papers
Linear logic
2,100 papers
Sequent calculus
1,753 papers
Current
Cut-elimination theorem
746 papers
Child
Trends
Field Trends