information about Linear logic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 54.8M papers | Mathematics 21.1M papers | Discrete mathematics 700k papers | Theoretical computer science 615k papers |
| Current | |||
Linear logic 2,078 papers | |||
| Child | |||
Intuitionistic logic 2,315 papers | Proof calculus 993 papers | Cut-elimination theorem 744 papers | |
Trends
Notes
History