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.

Achim Blumensath
SearchCollections
Map detail
Achim Blumensath7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAchim BlumensathAAchim BlumensathResearcher$ω$-Forest Algebras and Temporal LogicsW$ω$-Forest Algebras and...preprint / 2022Simple Classes of Automatic StructuresWSimple Classes of Autom...preprint / 2026Guarded Second-Order Logic, Spanning Trees, and Network FlowsWGuarded Second-Order Lo...preprint / 2010Decidability Results for the Boundedness ProblemWDecidability Results fo...preprint / 2014On the Monadic Second-Order Transduction HierarchyWOn the Monadic Second-O...preprint / 2010Monadic second-order definable graph orderingsWMonadic second-order de...preprint / 2014
Person6 links

Achim Blumensath

Researcher

Paperωω-Forest Algebras and Temporal LogicsAuthorship / preprint / 2022PaperSimple Classes of Automatic StructuresAuthorship / preprint / 2026PaperGuarded Second-Order Logic, Spanning Trees, and Network FlowsAuthorship / preprint / 2010PaperDecidability Results for the Boundedness ProblemAuthorship / preprint / 2014PaperOn the Monadic Second-Order Transduction HierarchyAuthorship / preprint / 2010PaperMonadic second-order definable graph orderingsAuthorship / preprint / 2014

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)