scientific article; zbMATH DE number 1919508

MaRDI QIDQ4483918zbMATH OpenFDO

Authors Frédéric Saubion, Igor Stéphan

Publication date 27 May 2003

Full work available at URL https://eudml.org/doc/122987, http://www.emis.de/journals/DMTCS/volumes/abstracts/dm050115.abs.html

zbMATH Keywords

prolog implementationproof systemstree grammars

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1405636
• Synchronized tree automata
• Simplified handling of iterated term schemata
• Unification of infinite sets of terms schematized by primal grammars
• Complexity of uniform membership of context-free tree grammars

Cited in

(7)

• Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars
• scientific article; zbMATH DE number 2090087 (Why is no real title available?)
• Manipulating tree tuple languages by transforming logic programs
• scientific article; zbMATH DE number 1405636 (Why is no real title available?)
• scientific article; zbMATH DE number 1406240 (Why is no real title available?)
• Simplified handling of iterated term schemata
• Tree tuple languages from the logic programming point of view

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4483918)