Rankers over Infinite Words
From MaRDI portal
Publication:3584889
DOI10.1007/978-3-642-14455-4_15zbMath1250.03062MaRDI 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
03D05: Automata and formal grammars in connection with logical questions
03B44: Temporal logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items