Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers

Research output: Chapter in Book/Conference proceeding › Conference proceeding › peer-review

Cite this

@inproceedings{9cc49d02a3fa471791e46709567aaed7,

title = "Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers",

author = "\{Villaret Auselle\}, Mateu and C. Ansotegui and M. Bofill and F. Manya",

year = "2012",

language = "English",

isbn = "0195-623X",

pages = "25--30",

booktitle = "Acta de congr{\'e}s",

}