Pubblicazioni

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:

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

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