Journal Articles
Journal of Automata Languages and Combinatorics
Year : 2006
Sébastien Limet : Connect in order to contact the contributor
https://hal.science/hal-00085309
Submitted on : Wednesday, July 12, 2006-12:50:05 PM
Last modification on : Wednesday, February 12, 2025-3:11:33 AM
Dates and versions
Identifiers
- HAL Id : hal-00085309 , version 1
Cite
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
52
View
0
Download