Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs.
From MaRDI portal
Publication:4916223
DOI10.1016/S1571-0661(04)80654-6zbMath1261.68104MaRDI QIDQ4916223
Sébastien Limet, Gernot Salzer
Publication date: 19 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68N17: Logic programming
Cites Work