Article Dans Une Revue
Journal of Automata Languages and Combinatorics
Année : 2006
Sébastien Limet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00085309
Soumis le : mercredi 12 juillet 2006-12:50:05
Dernière modification le : mardi 5 mars 2024-09:18:04
Dates et versions
Identifiants
- HAL Id : hal-00085309 , version 1
Citer
Sébastien Limet, Gernot Salzer. Basic rewriting via logic programming, with an application to the reachability problem. Journal of Automata Languages and Combinatorics, 2006, 11 (1), pp.107--142. ⟨hal-00085309⟩
Collections
47
Consultations
0
Téléchargements