Realizations and LP (Q5434508)
From MaRDI portal
scientific article; zbMATH DE number 5223573
Language | Label | Description | Also known as |
---|---|---|---|
English | Realizations and LP |
scientific article; zbMATH DE number 5223573 |
Statements
Realizations and LP (English)
0 references
4 January 2008
0 references
logic of proofs
0 references