Tree tuple languages from the logic programming point of view

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00085310
Contributor : Sébastien Limet <>
Submitted on : Wednesday, July 12, 2006 - 12:52:13 PM
Last modification on : Thursday, February 7, 2019 - 5:25:09 PM

Identifiers

  • HAL Id : hal-00085310, version 1

Collections

Citation

Sébastien Limet, Gernot Salzer. Tree tuple languages from the logic programming point of view. Journal of Automated Reasoning, Springer Verlag, 2006, 37 (4), pp.323-349. ⟨hal-00085310⟩

Share

Metrics

Record views

148