information about Linear logic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 55.7M papers | Mathematics 21.4M papers | Discrete mathematics 708k papers | Theoretical computer science 632k papers |
| Current | |||
Linear logic 2,100 papers | |||
| Child | |||
Intuitionistic logic 2,314 papers | Proof calculus 995 papers | Cut-elimination theorem 746 papers | |
Trends