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.

Sylvain Schmitz
SearchCollections
Map detail
Sylvain Schmitz13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSylvain SchmitzASylvain SchmitzResearcherImplicational Relevance Logic is 2-EXPTIME-CompleteWImplicational Relevance...preprint / 2022Coverability is Undecidable in One-dimensional Pushdown Vector Addition Systems with ResetsWCoverability is Undecid...preprint / 2019Multiply-Recursive Upper Bounds with Higman's LemmaWMultiply-Recursive Uppe...preprint / 2011The Power of Well-Structured SystemsWThe Power of Well-Struc...preprint / 2014Complexity Bounds for Ordinal-Based TerminationWComplexity Bounds for O...preprint / 2014Feature Unification in TAG Derivation TreesWFeature Unification in ...preprint / 2008Complexity Hierarchies Beyond ElementaryWComplexity Hierarchies ...preprint / 2016Non-Elementary Complexities for Branching VASS, MELL, and ExtensionsWNon-Elementary Complexi...preprint / 2022Model Checking Parse TreesWModel Checking Parse Treespreprint / 2013The Parametric Ordinal-Recursive Complexity of Post Embedding ProblemsWThe Parametric Ordinal-...preprint / 2012Demystifying Reachability in Vector Addition SystemsWDemystifying Reachabili...preprint / 2015The Power of Priority Channel SystemsWThe Power of Priority C...preprint / 2014
Person12 links

Sylvain Schmitz

Researcher

PaperImplicational Relevance Logic is 2-EXPTIME-CompleteAuthorship / preprint / 2022PaperCoverability is Undecidable in One-dimensional Pushdown Vector Addition Systems with ResetsAuthorship / preprint / 2019PaperMultiply-Recursive Upper Bounds with Higman's LemmaAuthorship / preprint / 2011PaperThe Power of Well-Structured SystemsAuthorship / preprint / 2014PaperComplexity Bounds for Ordinal-Based TerminationAuthorship / preprint / 2014PaperFeature Unification in TAG Derivation TreesAuthorship / preprint / 2008PaperComplexity Hierarchies Beyond ElementaryAuthorship / preprint / 2016PaperNon-Elementary Complexities for Branching VASS, MELL, and ExtensionsAuthorship / preprint / 2022

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)