This paper describes the main ideas of an approach to the search complexity analysis of theorem proving strategies.

On the notion of complexity of search in theorem proving

BONACINA, Maria Paola
;
1997-01-01

Abstract

This paper describes the main ideas of an approach to the search complexity analysis of theorem proving strategies.
1997
Automated theorem proving; search complexity; analysis of
File in questo prodotto:
File Dimensione Formato  
LC1996search.pdf

accesso aperto

Descrizione: Articolo
Tipologia: Documento in Post-print
Licenza: Creative commons
Dimensione 35.51 kB
Formato Adobe PDF
35.51 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/16064
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact