Communication Dans Un Congrès
Année : 1999
Anne-Cécile Caron : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01820502
Soumis le : jeudi 21 juin 2018-17:23:21
Dernière modification le : vendredi 17 mai 2024-16:32:06
Citer
Anne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi. Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting. Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, 1999, Unknown, Unknown Region. pp.103--117, ⟨10.1007/3-540-48685-2_9⟩. ⟨hal-01820502⟩
Collections
41
Consultations
0
Téléchargements