Canonized Rewriting and Ground AC Completion Modulo Shostak Theories.
| Autor: | Conchon, Sylvain, Contejean, Evelyne, Iguernelala, Mohamed |
|---|---|
| Zdroj: | Tools & Algorithms for the Construction & Analysis of Systems (9783642198342); 2011, p45-59, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|