Alexander Lauser

Available identifiers

zbMath Open lauser.alexanderMaRDI QIDQ2411036

List of research outcomes

Publication	Date of Publication	Type
The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy	2017-10-20	Paper
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable	2017-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q5740426	2016-07-26	Paper
Block Products and Nesting Negations in FO2	2014-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q5403019	2014-03-25	Paper
Around dot-depth one	2013-06-06	Paper
Lattices of logical fragments over words (extended abstract)	2012-11-01	Paper
The Join Levels of the Trotter-Weil Hierarchy Are Decidable	2012-09-25	Paper
Regular ideal languages and their Boolean combinations	2012-09-20	Paper
Partially ordered two-way Büchi automata	2012-03-13	Paper
First-order fragments with successor over infinite words	2012-01-23	Paper
Partially ordered two-way Büchi automata	2011-02-11	Paper
Rankers over infinite words (extended abstract)	2010-08-31	Paper

Research outcomes over time

This page was built for person: Alexander Lauser