Cirquent Calculus Deepened (Q3549318)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cirquent Calculus Deepened |
scientific article |
Statements
Cirquent Calculus Deepened (English)
0 references
22 December 2008
0 references
proof theory
0 references
cirquent calculus
0 references
resource semantics
0 references
deep inference
0 references
computability logic
0 references
pigeonhole principle
0 references