CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 122
Titolo Data di pubblicazione Autore(i) File
A note on the analysis of theorem-proving strategies 1-gen-1997 Bonacina, Maria Paola
On the notion of complexity of search in theorem proving 1-gen-1997 Bonacina, Maria Paola; Jieh, Hsiang
The Clause-Diffusion theorem prover Peers-mcd 1-gen-1997 Bonacina, Maria Paola
Strategy analysis: from sequential to parallel strategies (Position paper) 1-gen-1998 Bonacina, Maria Paola
Theorem proving strategies: a search-oriented taxonomy (Position paper) 1-gen-1998 Bonacina, Maria Paola
Mechanical proofs of the Levi commutator problem 1-gen-1998 Bonacina, Maria Paola
Analysis of distributed-search contraction-based strategies 1-gen-1998 Bonacina, Maria Paola
On semantic resolution with lemmaizing and contraction and a formal treatment of caching 1-gen-1998 Bonacina, Maria Paola; Jieh, Hsiang
On the modelling of search in theorem proving - Towards a theory of strategy analysis 1-gen-1998 Bonacina, Maria Paola; Jieh, Hsiang
Ten years of parallel theorem proving: a perspective 1-gen-1999 Bonacina, Maria Paola
A model and a first analysis of distributed-search contraction-based strategies 1-gen-1999 Bonacina, Maria Paola
A taxonomy of theorem-proving strategies 1-gen-1999 Bonacina, Maria Paola
Special issue on advances in first-order theorem proving - Foreword of the guest editors 1-gen-2000 Bonacina, Mp; Furbach, U
A taxonomy of parallel strategies for deduction 1-gen-2000 Bonacina, Maria Paola
Advances in first-order theorem proving 1-gen-2000 Bonacina, Maria Paola; Ulrich, Furbach
Fourth workshop on strategies in automated deduction: selected papers 1-gen-2001 Bonacina, Maria Paola; Bernhard, Gramlich
Combination of distributed search and multi-search in Peers-mcd.d 1-gen-2001 Bonacina, Maria Paola
High-performance deduction for verification: a case study in the theory of arrays 1-gen-2002 Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Michael, Rusinowitch; Aditya Kumar, Sehgal
Fifth workshop on strategies in automated deduction: selected papers 1-gen-2005 Bonacina, Maria Paola; Thierry Boy De La, Tour
On handling distinct objects in the superposition calculus 1-gen-2005 Stephan, Schulz; Bonacina, Maria Paola
Mostrati risultati da 41 a 60 di 122
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile