EF+EX Forest Algebras (Q2947153)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	EF+EX Forest Algebras	scientific article

Statements

scholarly article

0 references

EF+EX Forest Algebras (English)

0 references

0 references

Howard Straubing

0 references

Algebraic Informatics

0 references

publication date

22 September 2015

0 references

full work available at URL

https://arxiv.org/abs/1408.0809

0 references

MaRDI profile type

MaRDI publication profile

0 references

Regular tree languages definable in FO and in FO <sub> <i>mod</i> </sub>

0 references

Piecewise testable tree languages

0 references

Wreath Products of Forest Algebras, with Applications to Tree Logics

0 references

Characterizing EF and EX tree logics

0 references

0 references

On the expressive power of temporal logic

0 references

EF+EX Forest Algebras

0 references

0 references

Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-23021-4_12

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2947153

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2947153&oldid=36201888"