On the pigeonhole and related principles in deep inference and monotone systems (Q4635621)
From MaRDI portal
scientific article; zbMATH DE number 6863094
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the pigeonhole and related principles in deep inference and monotone systems |
scientific article; zbMATH DE number 6863094 |
Statements
On the pigeonhole and related principles in deep inference and monotone systems (English)
0 references
23 April 2018
0 references
atomic flows
0 references
deep inference
0 references
monotone proofs
0 references
pigeonhole principle
0 references
