Communication dans un congrès, LaHDAK, Informatique, Intelligence artificielle
Computing ALCH-Subsumption Modules Using Uniform Interpolation
Patrick Koopmann, Jieying Chen. Computing ALCH-Subsumption Modules Using Uniform Interpolation. SOQE 2017 Workshop on Second-Order Quantifier Elimination and Related Topics, Dec 2017, Dresden, Germany. ⟨hal-01712802⟩
