Lattices of Logical Fragments over Words

DOI10.1007/978-3-642-31585-5_27zbMath1433.03101arXiv1202.3355OpenAlexW1892576137MaRDI QIDQ3167018

Alexander Lauser, Manfred Kufleitner

Publication date: 1 November 2012

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1202.3355

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Subsystems of classical logic (including intuitionistic logic) (03B20) Higher-order logic (03B16)

Related Items (1)

One quantifier alternation in first-order logic with modular predicates

This page was built for publication: Lattices of Logical Fragments over Words