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.

Heribert Vollmer
SearchCollections
Map detail
Heribert Vollmer13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHeribert VollmerAHeribert VollmerResearcherA Model-Theoretic Characterization of Constant-Depth Arithmetic CircuitsWA Model-Theoretic Chara...preprint / 2017Complexity of Non-Monotonic LogicsWComplexity of Non-Monot...preprint / 2010Complexity Results for Modal Dependence LogicWComplexity Results for ...preprint / 2011Model Checking for Modal Dependence Logic: An Approach Through Post's LatticeWModel Checking for Moda...preprint / 2013On Second-Order Monadic Monoidal and Groupoidal QuantifiersWOn Second-Order Monadic...preprint / 2010Counting of Teams in First-Order Team LogicsWCounting of Teams in Fi...preprint / 2020Enumerating Teams in First-Order Team LogicsWEnumerating Teams in Fi...preprint / 2020Descriptive Complexity of $\#\textrm{AC}^0$ FunctionsWDescriptive Complexity ...preprint / 2016The Complexity of Reasoning for Fragments of Default LogicWThe Complexity of Reaso...preprint / 2010On the Parameterized Complexity of Default Logic and Autoepistemic LogicWOn the Parameterized Co...preprint / 2011Dependence logic with a majority quantifierWDependence logic with a...preprint / 2013Modal Independence LogicWModal Independence Logicpreprint / 2014
Person12 links

Heribert Vollmer

Researcher

PaperA Model-Theoretic Characterization of Constant-Depth Arithmetic CircuitsAuthorship / preprint / 2017PaperComplexity of Non-Monotonic LogicsAuthorship / preprint / 2010PaperComplexity Results for Modal Dependence LogicAuthorship / preprint / 2011PaperModel Checking for Modal Dependence Logic: An Approach Through Post's LatticeAuthorship / preprint / 2013PaperOn Second-Order Monadic Monoidal and Groupoidal QuantifiersAuthorship / preprint / 2010PaperCounting of Teams in First-Order Team LogicsAuthorship / preprint / 2020PaperEnumerating Teams in First-Order Team LogicsAuthorship / preprint / 2020PaperDescriptive Complexity of #AC0\#\textrm{AC}^0 FunctionsAuthorship / 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)