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 Proof calculus field

Proof calculus

https://www.wikidata.org/wiki/Q7250002
Field Hierarchy
Parent
Computer science
56.2M papers
Mathematics
21.6M papers
Programming language
7.4M papers
Discrete mathematics
711k papers
Theoretical computer science
637k papers
Natural deduction
2,500 papers
Linear logic
2,089 papers
Current
Proof calculus
993 papers
Child
Cut-elimination theorem
746 papers
Trends