Trees and diagrams of decomposition (Q1066888)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Trees and diagrams of decomposition |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trees and diagrams of decomposition |
scientific article |
Statements
Trees and diagrams of decomposition (English)
0 references
1985
0 references
A general schema is presented for transformation of and/or proof search trees (in systems with the strong subformula property ensuring termination of the search process) into and-trees. The schema is then generalised to contraction-like rules when a bound of the number of applications in one branch is given. No applications to particular systems are presented.
0 references
transformation of and/or proof search trees
0 references
strong subformula property
0 references
and-trees
0 references
contraction-like rules
0 references
