On the Specification of Sequent Systems (Q5387850)
From MaRDI portal
scientific article; zbMATH DE number 5279535
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Specification of Sequent Systems |
scientific article; zbMATH DE number 5279535 |
Statements
On the Specification of Sequent Systems (English)
0 references
27 May 2008
0 references