Une transformation de programme basée sur la notion d équations entre termes

Ulrich Neumerkel. Une transformation de programme basée sur la notion d équations entre termes. In Philippe Ézéquel, editor, 2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France. pages 215-229, TEKNEA, 1993.

Abstract

Abstract is missing.