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.

Olaf Beyersdorff
SearchCollections
Map detail
Olaf Beyersdorff6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipOlaf BeyersdorffAOlaf BeyersdorffResearcherThe Complexity of Reasoning for Fragments of Default LogicWThe Complexity of Reaso...preprint / 2010Hardness measures and resolution lower boundsWHardness measures and r...preprint / 2014Tableau vs. Sequent Calculi for Minimal EntailmentWTableau vs. Sequent Cal...preprint / 2014Model Checking CTL is Almost Always Inherently SequentialWModel Checking CTL is A...preprint / 2011Lifting QBF Resolution Calculi to DQBFWLifting QBF Resolution ...preprint / 2016
Person5 links

Olaf Beyersdorff

Researcher

PaperThe Complexity of Reasoning for Fragments of Default LogicAuthorship / preprint / 2010PaperHardness measures and resolution lower boundsAuthorship / preprint / 2014PaperTableau vs. Sequent Calculi for Minimal EntailmentAuthorship / preprint / 2014PaperModel Checking CTL is Almost Always Inherently SequentialAuthorship / preprint / 2011PaperLifting QBF Resolution Calculi to DQBFAuthorship / preprint / 2016

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)