This paper presents the main tenets of an approach to the analysis of the search complexity of theorem proving strategies, showing how to capture formally the effects of contraction inference rules on the search space.
A note on the analysis of theorem-proving strategies
BONACINA, Maria Paola
1997-01-01
Abstract
This paper presents the main tenets of an approach to the analysis of the search complexity of theorem proving strategies, showing how to capture formally the effects of contraction inference rules on the search space.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
AAR1997noteSearch.pdf
accesso aperto
Descrizione: Articolo
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
92.4 kB
Formato
Adobe PDF
|
92.4 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
