fCube: An Efficient Prover for Intuitionistic Propositional Logic (Q4933312)
From MaRDI portal
scientific article; zbMATH DE number 5798903
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | fCube: An Efficient Prover for Intuitionistic Propositional Logic |
scientific article; zbMATH DE number 5798903 |
Statements
fCube: An Efficient Prover for Intuitionistic Propositional Logic (English)
0 references
12 October 2010
0 references
