No label defined (Q4809081)
From MaRDI portal
scientific article; zbMATH DE number 2090322
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2090322 |
Statements
12 August 2004
0 references
Proof-nets
0 references
Proof search
0 references
Proof construction
0 references
Focussing
0 references
Middleware
0 references
Transactions
0 references
