Rankers over infinite words (extended abstract)

DOI10.1007/978-3-642-14455-4_15MaRDI QIDQ3584889zbMATH OpenOpenAlexFDO

Authors Luc Dartois, Manfred Kufleitner, Alexander Lauser

Publication date 31 August 2010

Published in Developments in Language Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14455-4_15

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44)

Recommendations

• First-order fragments with successor over infinite words
• Fragments of first-order logic over infinite words
• Fragments of first-order logic over infinite words
• Quantifier alternation for infinite words
• On FO 2 Quantifier Alternation over Words

Cited in

(3)

• On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing
• First-order fragments with successor over infinite words
• The exact rank-frequency function and size-frequency function of N-grams and N-word phrases with applications

This page was built for publication: Rankers over infinite words (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3584889)