pith. sign in

Alexander Lauser

Identifiers

  • name variant Alexander Lauser 0.60 · backfill

Papers (10)

  1. Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable cs.LO · 2012 · author #2
  2. The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words cs.FL · 2012 · author #2
  3. The Join Levels of the Trotter-Weil Hierarchy are Decidable cs.FL · 2012 · author #2
  4. Lattices of Logical Fragments over Words cs.FL · 2012 · author #2
  5. Around Dot-depth One cs.FL · 2011 · author #2
  6. Regular Ideal Languages and Their Boolean Combinations cs.FL · 2011 · author #3
  7. Languages of Dot-depth One over Infinite Words cs.FL · 2011 · author #2
  8. First-order Fragments with Successor over Infinite Words cs.FL · 2010 · author #3
  9. Partially Ordered Two-way B\"uchi Automata cs.FL · 2010 · author #2
  10. Rankers over Infinite Words cs.FL · 2010 · author #3

Mentions

  • 1212.6500 #2 · backfill · confidence 0.70 Alexander Lauser
  • 1204.5368 #2 · backfill · confidence 0.70 Alexander Lauser
  • 1204.4672 #2 · backfill · confidence 0.70 Alexander Lauser
  • 1202.3355 #2 · backfill · confidence 0.70 Alexander Lauser
  • 1103.1353 #2 · backfill · confidence 0.70 Alexander Lauser
  • 1102.5013 #3 · backfill · confidence 0.70 Alexander Lauser
  • 1101.4152 #2 · backfill · confidence 0.70 Alexander Lauser
  • 1101.0115 #3 · backfill · confidence 0.70 Alexander Lauser
  • 1006.2719 #2 · backfill · confidence 0.70 Alexander Lauser
  • 1005.0505 #3 · backfill · confidence 0.70 Alexander Lauser

Frequent Coauthors