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.

Manfred Kufleitner
SearchCollections
Map detail
Manfred Kufleitner13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipManfred KufleitnerAManfred KufleitnerResearcherOn the lattice of sub-pseudovarieties of DAWOn the lattice of sub-p...preprint / 2010Quantifier Alternation in Two-Variable First-Order Logic with Successor Is DecidableWQuantifier Alternation ...preprint / 2012Star-free languages and local divisorsWStar-free languages and...preprint / 2014One Quantifier Alternation in First-Order Logic with Modular PredicatesWOne Quantifier Alternat...preprint / 2014Two-Variable Ehrenfeucht-Fraisse Games over Omega-TermsWTwo-Variable Ehrenfeuch...preprint / 2014Languages 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 / 2012On FO2 quantifier alternation over wordsWOn FO2 quantifier alter...preprint / 2009Partially Ordered Two-way Büchi AutomataWPartially Ordered Two-w...preprint / 2011
Person12 links

Manfred Kufleitner

Researcher

PaperOn the lattice of sub-pseudovarieties of DAAuthorship / preprint / 2010PaperQuantifier Alternation in Two-Variable First-Order Logic with Successor Is DecidableAuthorship / preprint / 2012PaperStar-free languages and local divisorsAuthorship / preprint / 2014PaperOne Quantifier Alternation in First-Order Logic with Modular PredicatesAuthorship / preprint / 2014PaperTwo-Variable Ehrenfeucht-Fraisse Games over Omega-TermsAuthorship / preprint / 2014PaperLanguages 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 / 2012

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)