Pubblicazioni

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

Autori:
Alessandro Armando; Maria Paola Bonacina; 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
Nazioni degli autori:
GERMANIA; ITALIA
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:
2 novembre 2016
Citazione bibliografica:
Alessandro Armando; Maria Paola Bonacina; 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