Pubblicazioni

Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures  (2005)

Autori:
Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz
Titolo:
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures
Anno:
2005
Tipologia prodotto:
Contributo in atti di convegno
Tipologia ANVUR:
Contributo in Atti di convegno
Lingua:
Inglese
Formato:
A Stampa
Titolo del Convegno:
Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR), Seventeenth International Conference on Computer Aided Verification (CAV)
Luogo:
Edinburgh, Scotland, U.K.
Periodo:
July 2005
Intervallo pagine:
33-41
Note:
The Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR) was held as a satellite of the Seventeenth International Conference on Computer Aided Verification (CAV)
Pagina Web:
http://profs.sci.univr.it/~bonacina/rewsat.html
Id prodotto:
23780
Handle IRIS:
11562/23780
depositato il:
6 dicembre 2007
ultima modifica:
19 ottobre 2022
Citazione bibliografica:
Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz, Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures  in Notes of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR)Atti di "Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR), Seventeenth International Conference on Computer Aided Verification (CAV)" , Edinburgh, Scotland, U.K. , July 2005 , 2005pp. 33-41

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo IRIS

Progetti Collegati
Titolo Dipartimento Responsabili
Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale automatica di programmi (PRIN 2003) Dipartimento Informatica Maria Paola Bonacina
<<indietro

Attività

Strutture

Condividi