Journal Articles Journal of Automated Reasoning Year : 2006

Tree tuple languages from the logic programming point of view

Gernot Salzer
  • Function : Author
  • PersonId : 834320
No file

Dates and versions

hal-00085310 , version 1 (12-07-2006)

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⟩
57 View
0 Download

Share

More