New results on rewrite-based satisfiability procedures

ACM Transactions on Computational Logic 2009 / 01 Vol. 10; Iss. 1

New results on rewrite-based satisfiability procedures

Armando, Alessandro, Bonacina, Maria Paola, Ranise, Silvio, Schulz, Stephan
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/1459010.1459014
Date:
January, 2009
File:
PDF, 737 KB
english, 2009
Conversion to is in progress
Conversion to is failed