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.

Géraud Sénizergues
SearchCollections
Map detail
Géraud Sénizergues4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipGéraud SénizerguesAGéraud SénizerguesResearcherJancar's formal system for deciding bisimulation of first-order grammars and its non-soundnessWJancar's formal system ...preprint / 2011FREC 14: FRontiers of RECognizabilityWFREC 14: FRontiers of R...preprint / 2014On polynomial recursive sequencesWOn polynomial recursive...preprint / 2020
Person3 links

Géraud Sénizergues

Researcher

PaperJancar's formal system for deciding bisimulation of first-order grammars and its non-soundnessAuthorship / preprint / 2011PaperFREC 14: FRontiers of RECognizabilityAuthorship / preprint / 2014PaperOn polynomial recursive sequencesAuthorship / 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)