Termination induction by means of an abstract OLDT resolution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christophe Lecoutre, Philippe Devienne, Patrick Lebègue. Termination induction by means of an abstract OLDT resolution. In Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim, editors, JFPL 92, 1:::ères::: Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France. pages 353-373, 1992.

This author has not been identified. Look up 'Christophe Lecoutre' in GoogleThis author has not been identified. Look up 'Philippe Devienne' in GoogleThis author has not been identified. Look up 'Patrick Lebègue' in Google

runs on WebDSL