scientific article; zbMATH DE number 522865

zbMATH Open0794.68088MaRDI QIDQ4284261FDOQ4284261

Authors: Andreas Potthoff, Wolfgang Thomas 

Publication date: 24 March 1994

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3888931
• Forest Expressions
• First-order properties of trees, star-free expressions, and aperiodicity
• Regular languages of thin trees
• The solutions of two star-height problems for regular trees

zbMATH Keywords

regular tree languagesantichain logicmonadic second- order logicregular set of treesstar-fee

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10)

Cited In (13)

• First-order logic on finite trees
• The monadic second-order logic of graphs. X: Linear orderings
• Automata on finite trees
• Monadic second-order definable text languages
• Multiple context-free tree grammars: lexicalization and characterization
• Towards a language theory for infinite N-free pomsets.
• Operator precedence temporal logic and model checking
• Modulo-counting quantifiers over finite trees
• MSO definable text languages
• The definition in monadic second-order logic of modular decompositions of ordered graphs
• Algebra for trees
• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
• Generalizing input-driven languages: theoretical and practical benefits

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