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

Producció científica: Capítol del llibre/Acta del congrés › Acta de congrés › Avaluat per experts

Com citar-ho

@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",

}