Rankers over infinite words (extended abstract)

DOI10.1007/978-3-642-14455-4_15zbMATH Open1250.03062OpenAlexW2168351001MaRDI QIDQ3584889FDOQ3584889

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

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

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)

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)