Axiomatic Constraint Systems for Proof Search Modulo Theories.

Autor: Rouhling, Damien, Farooque, Mahfuza, Graham-Lengrand, Stéphane, Mahboubi, Assia, Notin, Jean-Marc
Zdroj: Cooperative Design, Visualization & Engineering: 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015, Proceedings; 2015, p220-236, 17p
Databáze: Complementary Index