BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Alexander Lauser
SearchCollections
Map detail
Alexander Lauser11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlexander LauserAAlexander LauserResearcherQuantifier Alternation in Two-Variable First-Order Logic with Successor Is DecidableWQuantifier Alternation ...preprint / 2012Languages of Dot-depth One over Infinite WordsWLanguages of Dot-depth ...preprint / 2011Around Dot-depth OneWAround Dot-depth Onepreprint / 2011The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on WordsWThe Join of the Varieti...preprint / 2012The Join Levels of the Trotter-Weil Hierarchy are DecidableWThe Join Levels of the ...preprint / 2012Lattices of Logical Fragments over WordsWLattices of Logical Fra...preprint / 2012Partially Ordered Two-way Büchi AutomataWPartially Ordered Two-w...preprint / 2011Rankers over Infinite WordsWRankers over Infinite W...preprint / 2010First-order Fragments with Successor over Infinite WordsWFirst-order Fragments w...preprint / 2010Regular Ideal Languages and Their Boolean CombinationsWRegular Ideal Languages...preprint / 2012
Person10 links

Alexander Lauser

Researcher

PaperQuantifier Alternation in Two-Variable First-Order Logic with Successor Is DecidableAuthorship / preprint / 2012PaperLanguages of Dot-depth One over Infinite WordsAuthorship / preprint / 2011PaperAround Dot-depth OneAuthorship / preprint / 2011PaperThe Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on WordsAuthorship / preprint / 2012PaperThe Join Levels of the Trotter-Weil Hierarchy are DecidableAuthorship / preprint / 2012PaperLattices of Logical Fragments over WordsAuthorship / preprint / 2012PaperPartially Ordered Two-way Büchi AutomataAuthorship / preprint / 2011PaperRankers over Infinite WordsAuthorship / preprint / 2010

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)