Journal Articles
Journal of Automated Reasoning
Year : 2006
Sébastien Limet : Connect in order to contact the contributor
https://hal.science/hal-00085310
Submitted on : Wednesday, July 12, 2006-12:52:13 PM
Last modification on : Wednesday, February 12, 2025-3:11:34 AM
Dates and versions
Identifiers
- HAL Id : hal-00085310 , version 1
Cite
Sébastien Limet, Gernot Salzer. Tree tuple languages from the logic programming point of view. Journal of Automated Reasoning, 2006, 37 (4), pp.323-349. ⟨hal-00085310⟩
Collections
57
View
0
Download