Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting

Type de document :
Communication dans un congrès
Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, 1999, Unknown, Unknown Region. pp.103--117, 1999, 〈10.1007/3-540-48685-2_9〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01820502
Contributeur : Anne-Cécile Caron <>
Soumis le : jeudi 21 juin 2018 - 17:23:21
Dernière modification le : jeudi 21 février 2019 - 10:52:47

Identifiants

Collections

Citation

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, 1999, 〈10.1007/3-540-48685-2_9〉. 〈hal-01820502〉

Partager

Métriques

Consultations de la notice

20