Article Dans Une Revue
J. Symb. Comput.
Année : 1995
Anne-Cécile Caron : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01820504
Soumis le : jeudi 21 juin 2018-17:23:24
Dernière modification le : vendredi 24 mars 2023-14:53:07
Citer
Max Dauchet, Anne-Cécile Caron, Jean-Luc Coquidé. Automata for Reduction Properties Solving. J. Symb. Comput., 1995, 20 (2), pp.215--233. ⟨10.1006/jsco.1995.1048⟩. ⟨hal-01820504⟩
Collections
34
Consultations
0
Téléchargements