Computing ALCH-Subsumption Modules Using Uniform Interpolation

Submitted by lahdakadmin on Thu, 05/17/2018 - 17:49
TitleComputing ALCH-Subsumption Modules Using Uniform Interpolation
Publication TypeConference Paper
Year of Publication2017
AuthorsKoopmann, P, Chen, J
Conference Name{SOQE 2017 Workshop on Second-Order Quantifier Elimination and Related Topics}
Date PublishedDec
Conference LocationDresden, Germany
URLhttps://hal.archives-ouvertes.fr/hal-01712802