This position paper summarizes how to extend to parallel theorem proving an approach to the complexity analysis of sequential theorem strategy.
Strategy analysis: from sequential to parallel strategies (Position paper)
BONACINA, Maria Paola
1998-01-01
Abstract
This position paper summarizes how to extend to parallel theorem proving an approach to the complexity analysis of sequential theorem strategy.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
STRAT-CADE1998parasearch.pdf
accesso aperto
Descrizione: Articolo
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
50.66 kB
Formato
Adobe PDF
|
50.66 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.