Alexander Lauser

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy Theory of Computing Systems	2017-10-20	Paper
Quantifier alternation in two-variable first-order logic with successor is decidable	2017-01-30	Paper
Around dot-depth one	2016-07-26	Paper
Block products and nesting negations in \(\mathrm{FO}^{2}\) Computer Science - Theory and Applications	2014-06-24	Paper
The join of the varieties of \(R\)-trivial and \(L\)-trivial monoids via combinatorics on words	2014-03-25	Paper
Around dot-depth one International Journal of Foundations of Computer Science	2013-06-06	Paper
Lattices of logical fragments over words (extended abstract) Automata, Languages, and Programming	2012-11-01	Paper
The Join Levels of the Trotter-Weil Hierarchy Are Decidable Mathematical Foundations of Computer Science 2012	2012-09-25	Paper
Regular ideal languages and their Boolean combinations Implementation and Application of Automata	2012-09-20	Paper
Partially ordered two-way Büchi automata International Journal of Foundations of Computer Science	2012-03-13	Paper
First-order fragments with successor over infinite words	2012-01-23	Paper
Partially ordered two-way Büchi automata Implementation and Application of Automata	2011-02-11	Paper
Rankers over infinite words (extended abstract) Developments in Language Theory	2010-08-31	Paper

Research outcomes over time

This page was built for person: Alexander Lauser