A bound on the length of a random derivation-search tree in general multi-premise calculi (Q4007369)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A bound on the length of a random derivation-search tree in general multi-premise calculi |
scientific article |
Statements
A bound on the length of a random derivation-search tree in general multi-premise calculi (English)
0 references
27 September 1992
0 references
multi-premise calculi
0 references
Post calculus
0 references
complexity bounds
0 references
random derivation search trees
0 references