Theoretical Aspects of Computing – ICTAC 2005

DOI10.1007/11560647zbMath1169.68453OpenAlexW4300984554MaRDI QIDQ5395095

Sébastien Limet, Pierre Pillot

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11560647

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (1)

Tree tuple languages from the logic programming point of view

This page was built for publication: Theoretical Aspects of Computing – ICTAC 2005