Presentations

An Approach to Abductive Reasoning in Equational Logic

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

You are not currently permitted to view this paper. If you have an account for this conference website, you may need to log in to view content.