Rankers over Infinite Words

DOI10.1007/978-3-642-14455-4_15zbMath1250.03062OpenAlexW2168351001MaRDI QIDQ3584889

Alexander Lauser, Luc Dartois, Manfred Kufleitner

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) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing

This page was built for publication: Rankers over Infinite Words