https://hal.inria.fr/inria-00100412
Contributeur : Publications Loria
<>
Soumis le : mardi 26 septembre 2006 - 14:41:41
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57
Alessandro Armando, Silvio Ranise, Michaël Rusinowitch. Uniform Derivation of Decision Procedures by Superposition. Conference of the European Association for Computer Science Logic - CSl'2001, Sep 2001, Paris, France, 15 p, 2001. 〈inria-00100412〉