scientific article; zbMATH DE number 1919508

zbMath1023.68062MaRDI QIDQ4483918

Igor Stéphan, Frédéric Saubion

Publication date: 27 May 2003

Full work available at URL: https://eudml.org/doc/122987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof systemstree grammarsprolog implementation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items (2)

Tree tuple languages from the logic programming point of view ⋮ Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs.

This page was built for publication: