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.

Arne Meier
SearchCollections
Map detail
Arne Meier13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipArne MeierAArne MeierResearcherThe Complexity of Satisfiability for Sub-Boolean Fragments of ALCWThe Complexity of Satis...preprint / 2010Generalized Complexity of ALC SubsumptionWGeneralized Complexity ...preprint / 2012On the Parameterized Complexity of Default Logic and Autoepistemic LogicWOn the Parameterized Co...preprint / 2011The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part IWThe Complexity of Satis...preprint / 2009Strong Backdoors for Linear Temporal LogicWStrong Backdoors for Li...preprint / 2016Parameterized Complexity of Logic-Based Argumentation in Schaefer's FrameworkWParameterized Complexit...preprint / 2021Parameterised Counting in LogspaceWParameterised Counting ...preprint / 2021Enumerating Teams in First-Order Team LogicsWEnumerating Teams in Fi...preprint / 2020Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence LogicWParametrised Complexity...preprint / 2020The Complexity of Reasoning for Fragments of Default LogicWThe Complexity of Reaso...preprint / 2010Paradigms for Parameterized EnumerationWParadigms for Parameter...preprint / 2013Parameterized Complexity of CTL: A Generalization of Courcelle's TheoremWParameterized Complexit...preprint / 2015
Person12 links

Arne Meier

Researcher

PaperThe Complexity of Satisfiability for Sub-Boolean Fragments of ALCAuthorship / preprint / 2010PaperGeneralized Complexity of ALC SubsumptionAuthorship / preprint / 2012PaperOn the Parameterized Complexity of Default Logic and Autoepistemic LogicAuthorship / preprint / 2011PaperThe Complexity of Satisfiability for Fragments of Hybrid Logic -- Part IAuthorship / preprint / 2009PaperStrong Backdoors for Linear Temporal LogicAuthorship / preprint / 2016PaperParameterized Complexity of Logic-Based Argumentation in Schaefer's FrameworkAuthorship / preprint / 2021PaperParameterised Counting in LogspaceAuthorship / preprint / 2021PaperEnumerating Teams in First-Order Team LogicsAuthorship / preprint / 2020

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)