scientific article
From MaRDI portal
Publication:3787513
zbMath0644.68103MaRDI QIDQ3787513
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
aperiodicityEhrenfeucht-Fraissé-gamefirst-order definable sets of finite treesstar-free tree expressions
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items (4)
First-order properties of trees, star-free expressions, and aperiodicity ⋮ Algebraic recognizability of regular tree languages ⋮ Characterizing EF and EX tree logics ⋮ Games for Temporal Logics on Trees
This page was built for publication:
