Pubblicazioni

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 , 2005 , pp. 33-41

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