Modular Cut-Elimination: Finding Proofs or Counterexamples (Q5387889)
From MaRDI portal
scientific article; zbMATH DE number 5279571
Language | Label | Description | Also known as |
---|---|---|---|
English | Modular Cut-Elimination: Finding Proofs or Counterexamples |
scientific article; zbMATH DE number 5279571 |
Statements
Modular Cut-Elimination: Finding Proofs or Counterexamples (English)
0 references
27 May 2008
0 references