Conference Papers
Year : 2004
Sébastien Limet : Connect in order to contact the contributor
https://hal.science/hal-00085595
Submitted on : Thursday, July 13, 2006-10:28:25 AM
Last modification on : Saturday, June 25, 2022-10:10:49 AM
Dates and versions
Identifiers
- HAL Id : hal-00085595 , version 1
Cite
Sébastien Limet, Gernot Salzer. Basic rewriting via logic programming, with an application to the reachability problem. 15th Conference on Rewriting Techniques and Applications (RTA 04), 2004, Aachen, Germany. pp.170-184. ⟨hal-00085595⟩
Collections
40
View
0
Download