scientific article; zbMATH DE number 176239

MaRDI QIDQ4035343zbMATH OpenFDO

Authors Sheila A. Greibach, Weiping Shi, Shai Simonson

Publication date 18 May 1993

zbMATH Keywords

context-free grammarsdecidabilityquery languagesclosure propertieslogic databases

Mathematics Subject Classification ID

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

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
• Publication:4502802
• Attributed tree grammars
• scientific article; zbMATH DE number 1456950
• On Tree Substitution Grammars
• Categorial Grammars and Tree Languages

Cited in

(3)

• Conjunctive grammars with restricted disjunction
• On inferring linear single-tree languages
• 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)