scientific article; zbMATH DE number 176239

MaRDI QIDQ4035343zbMATH OpenFDO

Authors Sheila A. Greibach, Weiping Shi, Shai Simonson

Publication date 18 May 1993

zbMATH Keywords

closure propertiescontext-free grammarsdecidabilitylogic databasesquery languages

Mathematics Subject Classification ID

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

Recommendations

• Unification with Singleton Tree Grammars
• On inferring linear single-tree languages
• Context-free grammars on trees
• scientific article; zbMATH DE number 475427
• Tree-like grammars and separation logic
• Tree languages generated by context-free graph grammars
• Attributed tree grammars
• Graph grammars and tree transducers
• On Tree Substitution Grammars
• Categorial Grammars and Tree Languages

Cited in

(3)

• On inferring linear single-tree languages
• Conjunctive Grammars with Restricted Disjunction
• Conjunctive grammars with restricted disjunction

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 Q4035343)